Skip to content

Actions: gap-system/gap

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
18 workflow run results
18 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. Lint #745: Pull request #5475 synchronize by hulpke
July 24, 2023 19:17 56s hulpke:additions
hulpke:additions
July 24, 2023 19:17 56s
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
Lint Lint #743: Scheduled
July 24, 2023 03:14 1m 0s master
master
July 24, 2023 03:14 1m 0s
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
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
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. 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
Lint Lint #738: Scheduled
July 23, 2023 03:14 58s master
master
July 23, 2023 03:14 58s
Lint Lint #737: Scheduled
July 22, 2023 03:13 50s master
master
July 22, 2023 03:13 50s
Lint Lint #736: Scheduled
July 21, 2023 03:13 50s master
master
July 21, 2023 03:13 50s
Lint Lint #735: Scheduled
July 20, 2023 03:14 1m 2s master
master
July 20, 2023 03:14 1m 2s
Lint Lint #734: Scheduled
July 19, 2023 03:43 1m 3s master
master
July 19, 2023 03:43 1m 3s
Stop requiring Status in package metadata (#5472) Lint #733: Commit b73b40f pushed by fingolfin
July 18, 2023 16:00 1m 6s master
master
July 18, 2023 16:00 1m 6s
Lint Lint #732: Scheduled
July 18, 2023 03:16 52s master
master
July 18, 2023 03:16 52s
Lint Lint #731: Scheduled
July 17, 2023 03:20 48s master
master
July 17, 2023 03:20 48s
Lint Lint #730: Scheduled
July 16, 2023 03:23 58s master
master
July 16, 2023 03:23 58s
Improvements for finitely presented groups and homomorphisms Lint #729: Pull request #5468 synchronize by hulpke
July 15, 2023 16:50 57s hulpke:fixes
hulpke:fixes
July 15, 2023 16:50 57s
Lint Lint #728: Scheduled
July 15, 2023 03:20 48s master
master
July 15, 2023 03:20 48s