Skip to content

Actions: gap-system/gap

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
1,373 workflow runs
1,373 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
ENHANCE: Added RingWithOneByStructureConstants Lint #783: Pull request #5486 synchronize by hulpke
August 13, 2023 00:39 1m 2s hulpke:testbed
hulpke:testbed
August 13, 2023 00:39 1m 2s
MaximalSubgroupClassReps uses AtlasRep if available Lint #782: Pull request #5485 synchronize by hulpke
August 13, 2023 00:20 56s hulpke:fixes
hulpke:fixes
August 13, 2023 00:20 56s
ENHANCE: Added RingWithOneByStructureConstants Lint #781: Pull request #5486 synchronize by hulpke
August 12, 2023 23:27 52s hulpke:testbed
hulpke:testbed
August 12, 2023 23:27 52s
ENHANCE: Added RingWithOneByStructureConstants Lint #780: Pull request #5486 opened by hulpke
August 12, 2023 23:24 53s hulpke:testbed
hulpke:testbed
August 12, 2023 23:24 53s
MaximalSubgroupClassReps uses AtlasRep if available Lint #779: Pull request #5485 opened by hulpke
August 12, 2023 23:04 54s hulpke:fixes
hulpke:fixes
August 12, 2023 23:04 54s
Minor performance improvements and a fix of case of variable overwrititing Lint #778: Pull request #5484 synchronize by hulpke
August 12, 2023 22:33 1m 2s hulpke:additions
hulpke:additions
August 12, 2023 22:33 1m 2s
Minor performance improvements and a fix of case of variable overwrititing Lint #777: Pull request #5484 opened by hulpke
August 12, 2023 20:14 54s hulpke:additions
hulpke:additions
August 12, 2023 20:14 54s
Lint Lint #776: Scheduled
August 12, 2023 03:13 49s master
master
August 12, 2023 03:13 49s
Lint Lint #775: Scheduled
August 11, 2023 03:13 1m 1s master
master
August 11, 2023 03:13 1m 1s
Lint Lint #774: Scheduled
August 10, 2023 03:14 59s master
master
August 10, 2023 03:14 59s
Lint Lint #773: Scheduled
August 9, 2023 03:13 52s master
master
August 9, 2023 03:13 52s
Lint Lint #772: Scheduled
August 8, 2023 03:13 1m 0s master
master
August 8, 2023 03:13 1m 0s
Lint Lint #771: Scheduled
August 7, 2023 03:14 1m 0s master
master
August 7, 2023 03:14 1m 0s
ProTip! You can narrow down the results and go further in time using created:<2023-08-07 or the other filters available.