Skip to content

Actions: gap-system/gap

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,716 workflow runs
4,716 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Wrap releases
Wrap releases #5376: Scheduled
November 16, 2024 03:40 1h 10m 11s master
November 16, 2024 03:40 1h 10m 11s
Lint
Lint #2157: Scheduled
November 16, 2024 03:17 40s master
November 16, 2024 03:17 40s
CI
CI #5882: Scheduled
November 16, 2024 02:46 28m 52s master
November 16, 2024 02:46 28m 52s
Wrap releases
Wrap releases #5375: Scheduled
November 15, 2024 03:41 1h 11m 4s master
November 15, 2024 03:41 1h 11m 4s
Lint
Lint #2156: Scheduled
November 15, 2024 03:19 40s master
November 15, 2024 03:19 40s
CI
CI #5881: Scheduled
November 15, 2024 02:48 28m 22s master
November 15, 2024 02:48 28m 22s
fix indentation when printing double cosets (#5841)
CI #5880: Commit 329ab54 pushed by fingolfin
November 14, 2024 17:00 30m 21s v4.14.0-beta1
November 14, 2024 17:00 30m 21s
fix indentation when printing double cosets (#5841)
Wrap releases #5374: Commit 329ab54 pushed by fingolfin
November 14, 2024 17:00 1h 13m 17s v4.14.0-beta1
November 14, 2024 17:00 1h 13m 17s
fix indentation when printing double cosets (#5841)
Lint #2155: Commit 329ab54 pushed by fingolfin
November 14, 2024 16:57 38s master
November 14, 2024 16:57 38s
fix indentation when printing double cosets (#5841)
Deploy GAP manual to Pages #541: Commit 329ab54 pushed by fingolfin
November 14, 2024 16:57 2m 41s master
November 14, 2024 16:57 2m 41s
fix indentation when printing double cosets (#5841)
CI #5879: Commit 329ab54 pushed by fingolfin
November 14, 2024 16:57 29m 0s master
November 14, 2024 16:57 29m 0s
fix indentation when printing double cosets (#5841)
Wrap releases #5373: Commit 329ab54 pushed by fingolfin
November 14, 2024 16:57 1h 11m 1s master
November 14, 2024 16:57 1h 11m 1s
fix indentation when printing double cosets (#5841)
CI with GAP.jl #278: Commit 329ab54 pushed by fingolfin
November 14, 2024 16:57 7m 22s master
November 14, 2024 16:57 7m 22s
Wrap releases
Wrap releases #5372: Scheduled
November 14, 2024 03:38 1h 11m 6s master
November 14, 2024 03:38 1h 11m 6s
Lint
Lint #2154: Scheduled
November 14, 2024 03:15 38s master
November 14, 2024 03:15 38s
CI
CI #5878: Scheduled
November 14, 2024 02:43 28m 46s master
November 14, 2024 02:43 28m 46s
Update CHANGES.md, prepare for GAP 4.14.0-beta1 (#5842)
Wrap releases #5371: Commit b3069e8 pushed by fingolfin
November 13, 2024 10:32 1h 10m 45s master
November 13, 2024 10:32 1h 10m 45s
Update CHANGES.md, prepare for GAP 4.14.0-beta1 (#5842)
Deploy GAP manual to Pages #540: Commit b3069e8 pushed by fingolfin
November 13, 2024 10:32 2m 39s master
November 13, 2024 10:32 2m 39s
Update CHANGES.md, prepare for GAP 4.14.0-beta1 (#5842)
Lint #2153: Commit b3069e8 pushed by fingolfin
November 13, 2024 10:32 39s master
November 13, 2024 10:32 39s
Update CHANGES.md, prepare for GAP 4.14.0-beta1 (#5842)
CI with GAP.jl #277: Commit b3069e8 pushed by fingolfin
November 13, 2024 10:32 6m 20s master
November 13, 2024 10:32 6m 20s
Update CHANGES.md, prepare for GAP 4.14.0-beta1 (#5842)
CI #5877: Commit b3069e8 pushed by fingolfin
November 13, 2024 10:32 29m 49s master
November 13, 2024 10:32 29m 49s
Update CHANGES.md, prepare for GAP 4.14.0-beta1
CI #5876: Pull request #5842 opened by fingolfin
November 13, 2024 08:54 27m 36s fingolfin:mh/CHANGES
November 13, 2024 08:54 27m 36s
Update CHANGES.md, prepare for GAP 4.14.0-beta1
Lint #2152: Pull request #5842 opened by fingolfin
November 13, 2024 08:54 38s fingolfin:mh/CHANGES
November 13, 2024 08:54 38s
Update CHANGES.md, prepare for GAP 4.14.0-beta1
Wrap releases #5370: Pull request #5842 opened by fingolfin
November 13, 2024 08:54 1h 14m 23s fingolfin:mh/CHANGES
November 13, 2024 08:54 1h 14m 23s
Update CHANGES.md, prepare for GAP 4.14.0-beta1
CI with GAP.jl #276: Pull request #5842 opened by fingolfin
November 13, 2024 08:54 6m 15s fingolfin:mh/CHANGES
November 13, 2024 08:54 6m 15s