Skip to content

Actions: gap-system/gap

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
56 workflow run results
56 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix an error in calculating subgroup lattices of nonsolvable groups was fixed. This error could lead to subgroups being omitted. Wrap releases #3951: Pull request #5475 synchronize by hulpke
July 24, 2023 19:17 1h 41m 32s hulpke:additions
hulpke:additions
July 24, 2023 19:17 1h 41m 32s
Fix an error in calculating subgroup lattices of nonsolvable groups was fixed. This error could lead to subgroups being omitted. Lint #745: Pull request #5475 synchronize by hulpke
July 24, 2023 19:17 56s hulpke:additions
hulpke:additions
July 24, 2023 19:17 56s
Fix an error in calculating subgroup lattices of nonsolvable groups was fixed. This error could lead to subgroups being omitted. CI #4407: Pull request #5475 synchronize by hulpke
July 24, 2023 19:17 48m 54s hulpke:additions
hulpke:additions
July 24, 2023 19:17 48m 54s
EXTRA WORK: Please the linter CI #4406: Commit aafd490 pushed by hulpke
July 24, 2023 16:21 58m 41s master
master
July 24, 2023 16:21 58m 41s
EXTRA WORK: Please the linter Deploy GAP manual to Pages #286: Commit aafd490 pushed by hulpke
July 24, 2023 16:21 5m 14s master
master
July 24, 2023 16:21 5m 14s
EXTRA WORK: Please the linter Lint #744: Commit aafd490 pushed by hulpke
July 24, 2023 16:21 2m 17s master
master
July 24, 2023 16:21 2m 17s
EXTRA WORK: Please the linter Wrap releases #3950: Commit aafd490 pushed by hulpke
July 24, 2023 16:21 1h 28m 25s master
master
July 24, 2023 16:21 1h 28m 25s
Wrap releases Wrap releases #3949: Scheduled
July 24, 2023 03:35 1h 46m 49s master
master
July 24, 2023 03:35 1h 46m 49s
Lint Lint #743: Scheduled
July 24, 2023 03:14 1m 0s master
master
July 24, 2023 03:14 1m 0s
CI CI #4405: Scheduled
July 24, 2023 02:38 57m 36s master
master
July 24, 2023 02:38 57m 36s
Fix an error in calculating subgroup lattices of nonsolvable groups was fixed. This error could lead to subgroups being omitted. CI #4404: Pull request #5475 synchronize by hulpke
July 23, 2023 21:43 44m 40s hulpke:additions
hulpke:additions
July 23, 2023 21:43 44m 40s
Fix an error in calculating subgroup lattices of nonsolvable groups was fixed. This error could lead to subgroups being omitted. Lint #742: Pull request #5475 synchronize by hulpke
July 23, 2023 21:43 48s hulpke:additions
hulpke:additions
July 23, 2023 21:43 48s
Fix an error in calculating subgroup lattices of nonsolvable groups was fixed. This error could lead to subgroups being omitted. Wrap releases #3948: Pull request #5475 synchronize by hulpke
July 23, 2023 21:43 1h 34m 39s hulpke:additions
hulpke:additions
July 23, 2023 21:43 1h 34m 39s
Improvements for finitely presented groups and homomorphisms Wrap releases #3947: Pull request #5468 synchronize by hulpke
July 23, 2023 20:27 1h 26m 17s hulpke:fixes
hulpke:fixes
July 23, 2023 20:27 1h 26m 17s
Improvements for finitely presented groups and homomorphisms Lint #741: Pull request #5468 synchronize by hulpke
July 23, 2023 20:27 53s hulpke:fixes
hulpke:fixes
July 23, 2023 20:27 53s
Improvements for finitely presented groups and homomorphisms CI #4403: Pull request #5468 synchronize by hulpke
July 23, 2023 20:27 40m 14s hulpke:fixes
hulpke:fixes
July 23, 2023 20:27 40m 14s
Fix an error in calculating subgroup lattices of nonsolvable groups was fixed. This error could lead to subgroups being omitted. Lint #740: Pull request #5475 synchronize by hulpke
July 23, 2023 20:23 59s hulpke:additions
hulpke:additions
July 23, 2023 20:23 59s
Fix an error in calculating subgroup lattices of nonsolvable groups was fixed. This error could lead to subgroups being omitted. Wrap releases #3946: Pull request #5475 synchronize by hulpke
July 23, 2023 20:23 1h 20m 19s hulpke:additions
hulpke:additions
July 23, 2023 20:23 1h 20m 19s
Fix an error in calculating subgroup lattices of nonsolvable groups was fixed. This error could lead to subgroups being omitted. CI #4402: Pull request #5475 synchronize by hulpke
July 23, 2023 20:23 40m 22s hulpke:additions
hulpke:additions
July 23, 2023 20:23 40m 22s
Fix an error in calculating subgroup lattices of nonsolvable groups was fixed. This error could lead to subgroups being omitted. Lint #739: Pull request #5475 opened by hulpke
July 23, 2023 19:06 1m 2s hulpke:additions
hulpke:additions
July 23, 2023 19:06 1m 2s
Fix an error in calculating subgroup lattices of nonsolvable groups was fixed. This error could lead to subgroups being omitted. CI #4401: Pull request #5475 opened by hulpke
July 23, 2023 19:06 48m 54s hulpke:additions
hulpke:additions
July 23, 2023 19:06 48m 54s
Fix an error in calculating subgroup lattices of nonsolvable groups was fixed. This error could lead to subgroups being omitted. Wrap releases #3945: Pull request #5475 opened by hulpke
July 23, 2023 19:06 1h 17m 21s hulpke:additions
hulpke:additions
July 23, 2023 19:06 1h 17m 21s
Wrap releases Wrap releases #3944: Scheduled
July 23, 2023 03:35 1h 50m 20s master
master
July 23, 2023 03:35 1h 50m 20s
Lint Lint #738: Scheduled
July 23, 2023 03:14 58s master
master
July 23, 2023 03:14 58s
CI CI #4400: Scheduled
July 23, 2023 02:39 48m 9s master
master
July 23, 2023 02:39 48m 9s