Skip to content

Actions: gap-system/gap

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add IsDicyclicGroup and DicyclicGenerators
Wrap releases #5780: Pull request #5966 opened by ThomasBreuer
March 28, 2025 09:25 1h 11m 26s ThomasBreuer:TB_IsDicyclicGroup
March 28, 2025 09:25 1h 11m 26s
Wrap releases
Wrap releases #5779: Scheduled
March 28, 2025 03:42 1h 11m 3s master
March 28, 2025 03:42 1h 11m 3s
Lint
Lint #2559: Scheduled
March 28, 2025 03:22 34s master
March 28, 2025 03:22 34s
CI
CI #6326: Scheduled
March 28, 2025 02:50 44m 53s master
March 28, 2025 02:50 44m 53s
Remove a duplicate AutomorphismGroup method
Wrap releases #5778: Pull request #5965 opened by fingolfin
March 27, 2025 23:33 26s mh/dedup
March 27, 2025 23:33 26s
Remove a duplicate AutomorphismGroup method
CI #6325: Pull request #5965 opened by fingolfin
March 27, 2025 23:33 49m 56s mh/dedup
March 27, 2025 23:33 49m 56s
Remove a duplicate AutomorphismGroup method
Lint #2558: Pull request #5965 opened by fingolfin
March 27, 2025 23:33 35s mh/dedup
March 27, 2025 23:33 35s
Remove a duplicate AutomorphismGroup method
CI with GAP.jl #548: Pull request #5965 opened by fingolfin
March 27, 2025 23:33 10m 27s mh/dedup
March 27, 2025 23:33 10m 27s
Remove a duplicate AutomorphismGroup method
CI #6324: Commit d6163c7 pushed by fingolfin
March 27, 2025 23:32 44m 58s mh/dedup
March 27, 2025 23:32 44m 58s
Wrap releases
Wrap releases #5776: Scheduled
March 27, 2025 03:43 1h 12m 52s master
March 27, 2025 03:43 1h 12m 52s
Lint
Lint #2556: Scheduled
March 27, 2025 03:21 36s master
March 27, 2025 03:21 36s
CI
CI #6321: Scheduled
March 27, 2025 02:48 45m 17s master
March 27, 2025 02:48 45m 17s
Wrap releases
Wrap releases #5775: Scheduled
March 26, 2025 03:41 1h 13m 59s master
March 26, 2025 03:41 1h 13m 59s
Lint
Lint #2555: Scheduled
March 26, 2025 03:20 39s master
March 26, 2025 03:20 39s
CI
CI #6320: Scheduled
March 26, 2025 02:48 45m 30s master
March 26, 2025 02:48 45m 30s
Wrap releases
Wrap releases #5774: Scheduled
March 25, 2025 03:42 1h 10m 38s master
March 25, 2025 03:42 1h 10m 38s
Lint
Lint #2554: Scheduled
March 25, 2025 03:21 38s master
March 25, 2025 03:21 38s
CI
CI #6319: Scheduled
March 25, 2025 02:49 1h 0m 41s master
March 25, 2025 02:49 1h 0m 41s
Wrap releases
Wrap releases #5773: Scheduled
March 24, 2025 03:42 1h 0m 53s master
March 24, 2025 03:42 1h 0m 53s
Lint
Lint #2553: Scheduled
March 24, 2025 03:23 39s master
March 24, 2025 03:23 39s