Skip to content

Actions: gap-system/gap

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
master
November 14, 2024 16:57 7m 22s
Wrap releases Wrap releases #5372: Scheduled
November 14, 2024 03:38 1h 11m 6s master
master
November 14, 2024 03:38 1h 11m 6s
Lint Lint #2154: Scheduled
November 14, 2024 03:15 38s master
master
November 14, 2024 03:15 38s
CI CI #5878: Scheduled
November 14, 2024 02:43 28m 46s master
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
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
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
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
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
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
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
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
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
fingolfin:mh/CHANGES
November 13, 2024 08:54 6m 15s
fix indentation when printing double cosets CI #5875: Pull request #5841 opened by ThomasBreuer
November 13, 2024 08:50 29m 10s ThomasBreuer:TB_double_cosets_view
ThomasBreuer:TB_double_cosets_view
November 13, 2024 08:50 29m 10s
fix indentation when printing double cosets CI with GAP.jl #275: Pull request #5841 opened by ThomasBreuer
November 13, 2024 08:50 6m 15s ThomasBreuer:TB_double_cosets_view
ThomasBreuer:TB_double_cosets_view
November 13, 2024 08:50 6m 15s
fix indentation when printing double cosets Wrap releases #5369: Pull request #5841 opened by ThomasBreuer
November 13, 2024 08:50 1h 11m 59s ThomasBreuer:TB_double_cosets_view
ThomasBreuer:TB_double_cosets_view
November 13, 2024 08:50 1h 11m 59s
fix indentation when printing double cosets Lint #2151: Pull request #5841 opened by ThomasBreuer
November 13, 2024 08:50 39s ThomasBreuer:TB_double_cosets_view
ThomasBreuer:TB_double_cosets_view
November 13, 2024 08:50 39s
Start work on GAP 4.15 CI #5874: Commit 4cf0eed pushed by fingolfin
November 13, 2024 08:16 38m 19s v4.15dev
v4.15dev
November 13, 2024 08:16 38m 19s
Create stable-4.14 branch Wrap releases #5368: Commit a629cd9 pushed by fingolfin
November 13, 2024 08:16 1h 22m 25s stable-4.14
stable-4.14
November 13, 2024 08:16 1h 22m 25s
Create stable-4.14 branch Lint #2150: Commit a629cd9 pushed by fingolfin
November 13, 2024 08:16 39s stable-4.14
stable-4.14
November 13, 2024 08:16 39s
Start work on GAP 4.15 Lint #2149: Commit 4cf0eed pushed by fingolfin
November 13, 2024 08:16 40s master
master
November 13, 2024 08:16 40s
Start work on GAP 4.15 Wrap releases #5367: Commit 4cf0eed pushed by fingolfin
November 13, 2024 08:16 1h 23m 15s master
master
November 13, 2024 08:16 1h 23m 15s