Skip to content

Actions: gap-system/gap

Actions

Lint

Actions

Loading...

Show workflow options

Create status badge

lint.yml
1,197 workflow runs
1,197 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
avoid an (unwanted?) side-effect of creating indeterminates Lint #589: Commit 990e679 pushed by ThomasBreuer
April 24, 2023 10:23 1m 3s master
master
April 24, 2023 10:23 1m 3s
Lint Lint #588: Scheduled
April 24, 2023 03:14 49s master
master
April 24, 2023 03:14 49s
Lint Lint #587: Scheduled
April 23, 2023 03:14 50s master
master
April 23, 2023 03:14 50s
Lint Lint #586: Scheduled
April 22, 2023 03:14 53s master
master
April 22, 2023 03:14 53s
Lint Lint #585: Scheduled
April 21, 2023 03:14 59s master
master
April 21, 2023 03:14 59s
Lint Lint #584: Scheduled
April 20, 2023 03:14 58s master
master
April 20, 2023 03:14 58s
fix DirectSumMat Lint #583: Pull request #5443 synchronize by ThomasBreuer
April 19, 2023 21:37 1m 0s ThomasBreuer:TB_DirectSumMat
ThomasBreuer:TB_DirectSumMat
April 19, 2023 21:37 1m 0s
fix DirectSumMat Lint #582: Pull request #5443 synchronize by ThomasBreuer
April 19, 2023 20:41 54s ThomasBreuer:TB_DirectSumMat
ThomasBreuer:TB_DirectSumMat
April 19, 2023 20:41 54s
Missing from #5433, automs order 512, and nilpotency test for permgroups Lint #581: Pull request #5437 synchronize by hulpke
April 19, 2023 15:31 1m 4s hulpke:fixes
hulpke:fixes
April 19, 2023 15:31 1m 4s
fix DirectSumMat Lint #580: Pull request #5443 opened by ThomasBreuer
April 19, 2023 13:55 52s ThomasBreuer:TB_DirectSumMat
ThomasBreuer:TB_DirectSumMat
April 19, 2023 13:55 52s
Lint Lint #579: Scheduled
April 19, 2023 03:14 57s master
master
April 19, 2023 03:14 57s
Lint Lint #578: Scheduled
April 18, 2023 03:14 48s master
master
April 18, 2023 03:14 48s
Lint Lint #577: Scheduled
April 17, 2023 03:14 55s master
master
April 17, 2023 03:14 55s
Lint Lint #576: Scheduled
April 16, 2023 03:14 56s master
master
April 16, 2023 03:14 56s
Lint Lint #575: Scheduled
April 15, 2023 03:14 50s master
master
April 15, 2023 03:14 50s
Lint Lint #574: Scheduled
April 14, 2023 03:14 47s master
master
April 14, 2023 03:14 47s
Lint Lint #573: Scheduled
April 13, 2023 03:14 50s master
master
April 13, 2023 03:14 50s
Lint Lint #572: Scheduled
April 12, 2023 03:14 50s master
master
April 12, 2023 03:14 50s
Lint Lint #571: Scheduled
April 11, 2023 03:14 48s master
master
April 11, 2023 03:14 48s
Missing from #5433, automs order 512, and nilpotency test for permgroups Lint #570: Pull request #5437 synchronize by hulpke
April 11, 2023 01:26 1m 8s hulpke:fixes
hulpke:fixes
April 11, 2023 01:26 1m 8s
Change handling of long command line options like --norepl so that repeating them will not toggle behaviour anymore Lint #569: Pull request #5440 opened by lispandfound
April 10, 2023 23:22 59s lispandfound:fix/master/togglingclioptions
lispandfound:fix/master/togglingclioptions
April 10, 2023 23:22 59s
kernel: change BOOL from Int to int Lint #568: Pull request #5438 opened by fingolfin
April 10, 2023 22:31 59s fingolfin:mh/small-BOOL
fingolfin:mh/small-BOOL
April 10, 2023 22:31 59s
Lint Lint #567: Scheduled
April 10, 2023 03:14 50s master
master
April 10, 2023 03:14 50s
Lint Lint #566: Scheduled
April 9, 2023 03:13 52s master
master
April 9, 2023 03:13 52s
Lint Lint #565: Scheduled
April 8, 2023 03:13 58s master
master
April 8, 2023 03:13 58s
ProTip! You can narrow down the results and go further in time using created:<2023-04-08 or the other filters available.