Skip to content

Actions: gap-system/gap

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,981 workflow run results
1,981 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Initial release notes for GAP 4.13 series (#5617) Wrap releases #4557: Commit 27c6268 pushed by fingolfin
February 1, 2024 23:04 12m 58s v4.13.0-alpha1
v4.13.0-alpha1
February 1, 2024 23:04 12m 58s
Initial release notes for GAP 4.13 series (#5617) CI #5037: Commit 27c6268 pushed by fingolfin
February 1, 2024 23:04 32m 56s v4.13.0-alpha1
v4.13.0-alpha1
February 1, 2024 23:04 32m 56s
buildsys: detect 'check-manuals' exit code (#5614) CI #5036: Commit 6873315 pushed by fingolfin
February 1, 2024 23:04 1m 33s v4.13.0-alpha1
v4.13.0-alpha1
February 1, 2024 23:04 1m 33s
buildsys: detect 'check-manuals' exit code (#5614) Wrap releases #4556: Commit 6873315 pushed by fingolfin
February 1, 2024 23:04 1m 26s v4.13.0-alpha1
v4.13.0-alpha1
February 1, 2024 23:04 1m 26s
Merge generate_package_release_notes.py into release_notes.py Lint #1348: Pull request #5619 opened by fingolfin
February 1, 2024 22:47 43s fingolfin:mh/merge_release_notes_tools
fingolfin:mh/merge_release_notes_tools
February 1, 2024 22:47 43s
Merge generate_package_release_notes.py into release_notes.py CI #5035: Pull request #5619 opened by fingolfin
February 1, 2024 22:47 31m 25s fingolfin:mh/merge_release_notes_tools
fingolfin:mh/merge_release_notes_tools
February 1, 2024 22:47 31m 25s
Merge generate_package_release_notes.py into release_notes.py Wrap releases #4555: Pull request #5619 opened by fingolfin
February 1, 2024 22:47 1h 7m 47s fingolfin:mh/merge_release_notes_tools
fingolfin:mh/merge_release_notes_tools
February 1, 2024 22:47 1h 7m 47s
Initial release notes for GAP 4.13 series (#5617) Wrap releases #4554: Commit 27c6268 pushed by fingolfin
February 1, 2024 20:33 1h 8m 29s master
master
February 1, 2024 20:33 1h 8m 29s
Initial release notes for GAP 4.13 series (#5617) Lint #1347: Commit 27c6268 pushed by fingolfin
February 1, 2024 20:33 40s master
master
February 1, 2024 20:33 40s
Initial release notes for GAP 4.13 series (#5617) CI #5034: Commit 27c6268 pushed by fingolfin
February 1, 2024 20:33 31m 38s master
master
February 1, 2024 20:33 31m 38s
Initial release notes for GAP 4.13 series (#5617) Deploy GAP manual to Pages #390: Commit 27c6268 pushed by fingolfin
February 1, 2024 20:33 2m 48s master
master
February 1, 2024 20:33 2m 48s
Initial release notes for GAP 4.13 series CI #5033: Pull request #5617 synchronize by fingolfin
February 1, 2024 20:33 31m 22s fingolfin:mh/CHANGES
fingolfin:mh/CHANGES
February 1, 2024 20:33 31m 22s
Initial release notes for GAP 4.13 series Lint #1346: Pull request #5617 synchronize by fingolfin
February 1, 2024 20:33 40s fingolfin:mh/CHANGES
fingolfin:mh/CHANGES
February 1, 2024 20:33 40s
Initial release notes for GAP 4.13 series Wrap releases #4553: Pull request #5617 synchronize by fingolfin
February 1, 2024 20:33 1h 8m 31s fingolfin:mh/CHANGES
fingolfin:mh/CHANGES
February 1, 2024 20:33 1h 8m 31s
Initial release notes for GAP 4.13 series Lint #1345: Pull request #5617 opened by fingolfin
February 1, 2024 15:50 42s fingolfin:mh/CHANGES
fingolfin:mh/CHANGES
February 1, 2024 15:50 42s
Initial release notes for GAP 4.13 series Wrap releases #4552: Pull request #5617 opened by fingolfin
February 1, 2024 15:50 13m 38s fingolfin:mh/CHANGES
fingolfin:mh/CHANGES
February 1, 2024 15:50 13m 38s
Initial release notes for GAP 4.13 series CI #5032: Pull request #5617 opened by fingolfin
February 1, 2024 15:50 13m 57s fingolfin:mh/CHANGES
fingolfin:mh/CHANGES
February 1, 2024 15:50 13m 57s
buildsys: detect 'check-manuals' exit code (#5614) Wrap releases #4551: Commit 6873315 pushed by fingolfin
February 1, 2024 15:27 4m 5s v4.13.0-alpha1
v4.13.0-alpha1
February 1, 2024 15:27 4m 5s
buildsys: detect 'check-manuals' exit code (#5614) CI #5031: Commit 6873315 pushed by fingolfin
February 1, 2024 15:27 4m 27s v4.13.0-alpha1
v4.13.0-alpha1
February 1, 2024 15:27 4m 27s
Improve generate_package_release_notes.py (#5615) Lint #1344: Commit 2b9bfb4 pushed by fingolfin
February 1, 2024 13:33 41s master
master
February 1, 2024 13:33 41s
Improve generate_package_release_notes.py (#5615) Deploy GAP manual to Pages #389: Commit 2b9bfb4 pushed by fingolfin
February 1, 2024 13:33 2m 50s master
master
February 1, 2024 13:33 2m 50s
Improve generate_package_release_notes.py (#5615) CI #5030: Commit 2b9bfb4 pushed by fingolfin
February 1, 2024 13:33 31m 40s master
master
February 1, 2024 13:33 31m 40s
Improve generate_package_release_notes.py (#5615) Wrap releases #4550: Commit 2b9bfb4 pushed by fingolfin
February 1, 2024 13:33 1h 6m 43s master
master
February 1, 2024 13:33 1h 6m 43s
Wrap releases Wrap releases #4549: Scheduled
February 1, 2024 03:35 1h 7m 37s master
master
February 1, 2024 03:35 1h 7m 37s
Lint Lint #1343: Scheduled
February 1, 2024 03:14 38s master
master
February 1, 2024 03:14 38s