Skip to content

Actions: gap-system/gap

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
782 workflow run results
782 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Restrict SetDimension method to IsFreeLeftModule (#5520)
CI #4730: Commit 58fa08c pushed by fingolfin
December 4, 2023 20:29 33m 14s master
December 4, 2023 20:29 33m 14s
Small changes/fixes
CI #4729: Pull request #5536 synchronize by hulpke
December 4, 2023 20:28 26m 56s hulpke:additions
December 4, 2023 20:28 26m 56s
Remove obsolete code dealing with 'Revision' gvar (#5534)
CI #4728: Commit adbd5b7 pushed by fingolfin
December 4, 2023 20:28 1h 0m 32s master
December 4, 2023 20:28 1h 0m 32s
Small changes/fixes
CI #4726: Pull request #5536 synchronize by hulpke
December 4, 2023 20:03 26m 41s hulpke:additions
December 4, 2023 20:03 26m 41s
Small changes/fixes
CI #4725: Pull request #5536 opened by hulpke
December 4, 2023 18:53 32m 41s hulpke:additions
December 4, 2023 18:53 32m 41s
ENHANCE: Rewriting systems for simple
CI #4724: Pull request #5535 opened by hulpke
December 4, 2023 18:33 32m 33s hulpke:fixes
December 4, 2023 18:33 32m 33s
CI
CI #4723: Scheduled
December 4, 2023 02:34 32m 59s master
December 4, 2023 02:34 32m 59s
CI
CI #4722: Scheduled
December 3, 2023 02:34 34m 52s master
December 3, 2023 02:34 34m 52s
fixing problems reported by LINT
CI #4720: Commit f49da1a pushed by cdwensley
December 2, 2023 20:18 32m 40s preimrep
December 2, 2023 20:18 32m 40s
removed some trailing spaces
CI #4718: Commit 64ecd34 pushed by cdwensley
December 2, 2023 18:26 55m 10s preimrep
December 2, 2023 18:26 55m 10s
remove some trailing spaces
CI #4716: Commit 02fd88c pushed by cdwensley
December 2, 2023 18:11 37m 4s preimrep
December 2, 2023 18:11 37m 4s
updating ctblgrp.gi
CI #4714: Commit 1c28e22 pushed by cdwensley
December 2, 2023 16:20 32m 17s preimrep
December 2, 2023 16:20 32m 17s
CI
CI #4713: Scheduled
December 2, 2023 02:32 32m 56s master
December 2, 2023 02:32 32m 56s
CI
CI #4712: Scheduled
December 1, 2023 02:37 36m 35s master
December 1, 2023 02:37 36m 35s
CI
CI #4711: Scheduled
November 30, 2023 02:34 32m 33s master
November 30, 2023 02:34 32m 33s
updating ctblgrp.gi
CI #4710: Commit de7a619 pushed by cdwensley
November 29, 2023 21:04 1d 18h 0m 8s preimrep
November 29, 2023 21:04 1d 18h 0m 8s
CI
CI #4709: Scheduled
November 29, 2023 02:34 32m 50s master
November 29, 2023 02:34 32m 50s
CI
CI #4708: Scheduled
November 28, 2023 02:34 33m 13s master
November 28, 2023 02:34 33m 13s
~use latest fitfree.gd
CI #4707: Commit da65036 pushed by cdwensley
November 27, 2023 17:53 2d 9h 38m 14s preimrep
November 27, 2023 17:53 2d 9h 38m 14s
CI
CI #4706: Scheduled
November 27, 2023 02:34 35m 59s master
November 27, 2023 02:34 35m 59s
ProTip! You can narrow down the results and go further in time using created:<2023-11-27 or the other filters available.