Skip to content

Actions: oscar-system/GAP.jl

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
789 workflow runs
789 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Move code out of regenerate_gaproot() (#1150)
CI #1821: Commit f18b0de pushed by fingolfin
February 11, 2025 08:13 8m 17s master
February 11, 2025 08:13 8m 17s
CI
CI #1820: Scheduled
February 11, 2025 03:15 25m 3s master
February 11, 2025 03:15 25m 3s
Unify file headers for JuliaInterface sources
CI #1819: Pull request #1160 synchronize by fingolfin
February 10, 2025 21:43 1h 38m 34s mh/file-header
February 10, 2025 21:43 1h 38m 34s
Unify file headers for JuliaInterface sources
CI #1818: Pull request #1160 opened by fingolfin
February 10, 2025 21:35 8m 21s mh/file-header
February 10, 2025 21:35 8m 21s
Add pkg/JuliaInterface/gap/override.g
CI #1817: Pull request #1159 opened by fingolfin
February 10, 2025 21:34 30m 29s mh/merge
February 10, 2025 21:34 30m 29s
Move code out of regenerate_gaproot()
CI #1816: Pull request #1150 synchronize by fingolfin
February 10, 2025 19:50 6m 45s mh/gaproot-cleanup
February 10, 2025 19:50 6m 45s
Remove build step from setup job in CI-distro.yml (#1156)
CI #1815: Commit 639943a pushed by fingolfin
February 10, 2025 17:15 28m 22s master
February 10, 2025 17:15 28m 22s
Factor out write_sysinfo_gap helper (#1154)
CI #1814: Commit 4a7f55e pushed by fingolfin
February 10, 2025 17:14 29m 11s master
February 10, 2025 17:14 29m 11s
Move code out of regenerate_gaproot()
CI #1813: Pull request #1150 synchronize by fingolfin
February 10, 2025 17:07 13m 18s mh/gaproot-cleanup
February 10, 2025 17:07 13m 18s
Move code out of regenerate_gaproot()
CI #1812: Pull request #1150 synchronize by fingolfin
February 10, 2025 17:03 4m 41s mh/gaproot-cleanup
February 10, 2025 17:03 4m 41s
Explicitly qualify constructors that are extended (#1157)
CI #1811: Commit 76f3b7e pushed by fingolfin
February 10, 2025 16:55 11m 56s master
February 10, 2025 16:55 11m 56s
Avoid OtherPackagesLoadedInAdvance (#1155)
CI #1810: Commit 17b5967 pushed by fingolfin
February 10, 2025 14:39 13m 15s master
February 10, 2025 14:39 13m 15s
Factor out write_sysinfo_gap helper
CI #1809: Pull request #1154 synchronize by fingolfin
February 10, 2025 14:09 13m 2s mh/read-write-sysinfo
February 10, 2025 14:09 13m 2s
Move code out of regenerate_gaproot()
CI #1806: Pull request #1150 synchronize by fingolfin
February 10, 2025 13:05 9m 47s mh/gaproot-cleanup
February 10, 2025 13:05 9m 47s
Move code out of regenerate_gaproot()
CI #1805: Pull request #1150 synchronize by fingolfin
February 10, 2025 11:24 13m 28s mh/gaproot-cleanup
February 10, 2025 11:24 13m 28s
Avoid OtherPackagesLoadedInAdvance
CI #1804: Pull request #1155 opened by fingolfin
February 10, 2025 11:23 7m 27s mh/OtherPackagesLoadedInAdvance
February 10, 2025 11:23 7m 27s
Factor out write_sysinfo_gap helper
CI #1803: Pull request #1154 opened by fingolfin
February 10, 2025 11:21 8m 21s mh/read-write-sysinfo
February 10, 2025 11:21 8m 21s
Move code out of regenerate_gaproot()
CI #1802: Pull request #1150 synchronize by fingolfin
February 10, 2025 11:15 7m 6s mh/gaproot-cleanup
February 10, 2025 11:15 7m 6s
Remove obsolete comment & import (#1152)
CI #1801: Commit 50aca12 pushed by fingolfin
February 10, 2025 07:47 7m 56s master
February 10, 2025 07:47 7m 56s
CI
CI #1800: Scheduled
February 10, 2025 03:15 20m 8s master
February 10, 2025 03:15 20m 8s
CI
CI #1799: Scheduled
February 9, 2025 03:15 19m 35s master
February 9, 2025 03:15 19m 35s
CI
CI #1798: Scheduled
February 8, 2025 03:14 15m 49s master
February 8, 2025 03:14 15m 49s
Version 0.13.1 (#1153)
CI #1797: Commit 5f284fe pushed by fingolfin
February 7, 2025 20:29 6m 5s v0.13.1
February 7, 2025 20:29 6m 5s