Skip to content

Actions: gap-system/gap

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
60 workflow run results
60 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lint Lint #813: Scheduled
August 21, 2023 03:14 58s master
master
August 21, 2023 03:14 58s
Lint Lint #812: Scheduled
August 20, 2023 03:13 49s master
master
August 20, 2023 03:13 49s
Lint Lint #811: Scheduled
August 19, 2023 03:14 49s master
master
August 19, 2023 03:14 49s
MaximalSubgroupClassReps uses AtlasRep if available Lint #810: Pull request #5485 synchronize by hulpke
August 18, 2023 20:29 49s hulpke:fixes
hulpke:fixes
August 18, 2023 20:29 49s
MaximalSubgroupClassReps uses AtlasRep if available Lint #809: Pull request #5485 synchronize by hulpke
August 18, 2023 19:06 53s hulpke:fixes
hulpke:fixes
August 18, 2023 19:06 53s
MaximalSubgroupClassReps uses AtlasRep if available Lint #808: Pull request #5485 synchronize by hulpke
August 18, 2023 14:50 1m 9s hulpke:fixes
hulpke:fixes
August 18, 2023 14:50 1m 9s
Make GroupWithMemory behave more like Group Lint #807: Commit ed50a6b pushed by ThomasBreuer
August 18, 2023 09:27 1m 2s master
master
August 18, 2023 09:27 1m 2s
Add example for package extensions Lint #806: Pull request #5490 synchronize by schnellecom
August 18, 2023 07:38 1m 1s schnellecom:master
schnellecom:master
August 18, 2023 07:38 1m 1s
Make GroupWithMemory behave more like Group, and e.g. make the wrapped generators immutable, and for matrices try to convert them to a better representation Lint #801: Pull request #5480 synchronize by fingolfin
August 18, 2023 07:21 50s fingolfin:mh/GroupWithMemory
fingolfin:mh/GroupWithMemory
August 18, 2023 07:21 50s
ENHANCE IsomorphicSubgroups generators Lint #800: Commit ea41bf9 pushed by fingolfin
August 18, 2023 07:18 55s master
master
August 18, 2023 07:18 55s
fixed ConsiderStructureConstants (#5487) Lint #799: Commit 8fa61c5 pushed by fingolfin
August 18, 2023 07:07 1m 4s master
master
August 18, 2023 07:07 1m 4s
Lint Lint #798: Scheduled
August 18, 2023 03:14 58s master
master
August 18, 2023 03:14 58s
changed the documentation of FamilyPcgs Lint #797: Commit 237f358 pushed by ThomasBreuer
August 17, 2023 21:54 1m 1s master
master
August 17, 2023 21:54 1m 1s
fixed ConsiderStructureConstants Lint #796: Pull request #5487 synchronize by ThomasBreuer
August 17, 2023 16:20 1m 7s ThomasBreuer:TB_ConsiderStructureConstants
ThomasBreuer:TB_ConsiderStructureConstants
August 17, 2023 16:20 1m 7s
Add AlgebraWithOneByStructureConstants Lint #795: Pull request #5491 opened by ThomasBreuer
August 17, 2023 13:00 56s ThomasBreuer:TB_AlgebraWithOneByStructureConstants
ThomasBreuer:TB_AlgebraWithOneByStructureConstants
August 17, 2023 13:00 56s
Fix dev/bisect.sh Lint #793: Pull request #5489 opened by fingolfin
August 17, 2023 08:22 1m 4s fingolfin:mh/bisect
fingolfin:mh/bisect
August 17, 2023 08:22 1m 4s
Lint Lint #792: Scheduled
August 17, 2023 03:13 55s master
master
August 17, 2023 03:13 55s
changed the documentation of FamilyPcgs Lint #791: Pull request #5488 opened by ThomasBreuer
August 16, 2023 13:01 59s ThomasBreuer:TB_FamilyPcgs
ThomasBreuer:TB_FamilyPcgs
August 16, 2023 13:01 59s
fixed ConsiderStructureConstants Lint #790: Pull request #5487 synchronize by ThomasBreuer
August 16, 2023 11:22 50s ThomasBreuer:TB_ConsiderStructureConstants
ThomasBreuer:TB_ConsiderStructureConstants
August 16, 2023 11:22 50s
fixed ConsiderStructureConstants Lint #789: Pull request #5487 opened by ThomasBreuer
August 16, 2023 10:11 1m 0s ThomasBreuer:TB_ConsiderStructureConstants
ThomasBreuer:TB_ConsiderStructureConstants
August 16, 2023 10:11 1m 0s
Lint Lint #788: Scheduled
August 16, 2023 03:14 1m 1s master
master
August 16, 2023 03:14 1m 1s
Lint Lint #787: Scheduled
August 15, 2023 03:13 50s master
master
August 15, 2023 03:13 50s
Add check for __APPLE__ to restrict overmatching __MACH__ ifdefs (#5482) Lint #786: Commit 6e7846d pushed by fingolfin
August 14, 2023 09:03 56s master
master
August 14, 2023 09:03 56s
Lint Lint #785: Scheduled
August 14, 2023 03:13 53s master
master
August 14, 2023 03:13 53s
Lint Lint #784: Scheduled
August 13, 2023 03:13 48s master
master
August 13, 2023 03:13 48s