Skip to content

Actions: oscar-system/GAP.jl

Actions

CI

Actions

Loading...
Loading

Showing runs from all workflows named CI
408 workflow run results
408 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Convenience: allow GapInt(x) as shorthand for producing a GAP integer… CI #1102: Commit a6d73fc pushed by fingolfin
April 21, 2024 20:51 14m 5s master
master
April 21, 2024 20:51 14m 5s
Optimize conversion of UInt to GapObj CI #1101: Commit eae6963 pushed by ThomasBreuer
April 18, 2024 10:54 35m 25s master
master
April 18, 2024 10:54 35m 25s
Version 0.11.0 CI #1096: Commit f639cb7 pushed by fingolfin
April 5, 2024 09:54 46m 32s master
master
April 5, 2024 09:54 46m 32s
Remove BuildPackages.sh (#860) CI #1095: Commit 8e32e5c pushed by fingolfin
April 5, 2024 09:54 41m 0s master
master
April 5, 2024 09:54 41m 0s
Update CHANGES.md CI #1093: Commit 2b683fd pushed by fingolfin
April 5, 2024 09:44 31m 44s master
master
April 5, 2024 09:44 31m 44s
read_sysinfo_gap: deal with multiple = on one line (#982) CI #1091: Commit 98c98c6 pushed by fingolfin
March 22, 2024 14:36 8m 32s master
master
March 22, 2024 14:36 8m 32s
Switch to GAP 4.13.0 (#975) CI #1090: Commit d797090 pushed by fingolfin
March 21, 2024 01:56 8m 28s master
master
March 21, 2024 01:56 8m 28s
Update src/help.jl CI #1086: Commit 32aaa36 pushed by ThomasBreuer
March 19, 2024 15:36 7m 55s master
master
March 19, 2024 15:36 7m 55s
Update to latest Makefile.gappkg (#980) CI #1078: Commit bc4b5c2 pushed by fingolfin
March 19, 2024 10:48 1h 9m 33s master
master
March 19, 2024 10:48 1h 9m 33s
Let override code also override GAP_lib_jll (#976) CI #1077: Commit 1582477 pushed by fingolfin
March 19, 2024 10:47 1h 9m 40s master
master
March 19, 2024 10:47 1h 9m 40s
Fix #include julia_gc.h to work in GAP 4.13.0, too (#979) CI #1076: Commit 25238e3 pushed by fingolfin
March 19, 2024 10:47 1h 8m 28s master
master
March 19, 2024 10:47 1h 8m 28s
Prepare for GAP 4.13.0 (#977) CI #1073: Commit 9150887 pushed by fingolfin
March 19, 2024 10:08 12m 52s master
master
March 19, 2024 10:08 12m 52s
Make using and import statements explicit (#972) CI #1067: Commit e5258e5 pushed by fingolfin
March 8, 2024 18:30 8m 5s master
master
March 8, 2024 18:30 8m 5s
Version 0.10.3 CI #1063: Commit 7a9ff86 pushed by fingolfin
March 1, 2024 10:17 15m 11s master
master
March 1, 2024 10:17 15m 11s
Fix TAB completion for e.g. 'GAP.Globals.MTX.S' in Julia >= 1.11 (#969) CI #1062: Commit 355d751 pushed by fingolfin
February 23, 2024 08:51 4m 44s master
master
February 23, 2024 08:51 4m 44s
CI: update to codecov/codecov-action@v4 (#965) CI #1061: Commit c04afbb pushed by fingolfin
February 22, 2024 13:12 28m 10s master
master
February 22, 2024 13:12 28m 10s
adjust code and tests to changes in Nemo.jl (#966) CI #1055: Commit fb0520e pushed by fingolfin
February 16, 2024 13:55 4h 15m 43s master
master
February 16, 2024 13:55 4h 15m 43s
CI: update actions/checkout@v3 to v4 CI #1047: Commit ae2997e pushed by fingolfin
January 26, 2024 22:51 12m 10s master
master
January 26, 2024 22:51 12m 10s
Version 0.10.2 CI #1045: Commit 08facf3 pushed by fingolfin
January 26, 2024 08:14 20m 2s master
master
January 26, 2024 08:14 20m 2s
use a custom Downloads.Downloader (#961) CI #1044: Commit 02c47bd pushed by fingolfin
January 25, 2024 21:33 33m 30s master
master
January 25, 2024 21:33 33m 30s
Use julia 1.10 as default in CI (#957) CI #1042: Commit 63493a8 pushed by fingolfin
January 17, 2024 22:02 5m 3s master
master
January 17, 2024 22:02 5m 3s
improve package handling (#958) CI #1041: Commit 794e9e9 pushed by fingolfin
January 17, 2024 22:00 8m 27s master
master
January 17, 2024 22:00 8m 27s
Version 0.10.1 CI #1036: Commit fa799e9 pushed by fingolfin
December 29, 2023 00:02 7m 51s master
master
December 29, 2023 00:02 7m 51s
use Pidfile.mkpidlock in GAP.Packages.install (#956) CI #1035: Commit 9e09d72 pushed by fingolfin
December 28, 2023 23:56 11m 59s master
master
December 28, 2023 23:56 11m 59s
Fix more JET issues (#951) CI #1032: Commit 29d6b87 pushed by fingolfin
November 17, 2023 08:37 21m 6s master
master
November 17, 2023 08:37 21m 6s
ProTip! You can narrow down the results and go further in time using created:<2023-11-17 or the other filters available.