Skip to content

Actions: gap-system/gap

Actions

Wrap releases

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
16 workflow run results
16 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
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
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
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. 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
Wrap releases Wrap releases #3943: Scheduled
July 22, 2023 03:35 1h 33m 32s master
master
July 22, 2023 03:35 1h 33m 32s
Wrap releases Wrap releases #3942: Scheduled
July 21, 2023 03:35 1h 39m 3s master
master
July 21, 2023 03:35 1h 39m 3s
Wrap releases Wrap releases #3941: Scheduled
July 20, 2023 03:35 1h 35m 28s master
master
July 20, 2023 03:35 1h 35m 28s
Wrap releases Wrap releases #3940: Scheduled
July 19, 2023 03:50 1h 32m 2s master
master
July 19, 2023 03:50 1h 32m 2s
Stop requiring Status in package metadata (#5472) Wrap releases #3939: Commit b73b40f pushed by fingolfin
July 18, 2023 16:00 1m 38s master
master
July 18, 2023 16:00 1m 38s
Wrap releases Wrap releases #3938: Scheduled
July 18, 2023 03:36 1h 43m 6s master
master
July 18, 2023 03:36 1h 43m 6s
Wrap releases Wrap releases #3937: Scheduled
July 17, 2023 03:38 1h 31m 24s master
master
July 17, 2023 03:38 1h 31m 24s
Wrap releases Wrap releases #3936: Scheduled
July 16, 2023 03:39 1h 33m 42s master
master
July 16, 2023 03:39 1h 33m 42s