Skip to content

Actions: gap-system/gap

Actions

Lint

Actions

Loading...

Show workflow options

Create status badge

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

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Lint Lint #611: Scheduled
May 7, 2023 03:14 47s master
master
May 7, 2023 03:14 47s
Lint Lint #610: Scheduled
May 6, 2023 03:14 1m 3s master
master
May 6, 2023 03:14 1m 3s
added some missing functionality for domains of cyclotomics Lint #609: Commit 45c8a7a pushed by fingolfin
May 5, 2023 12:54 1m 0s master
master
May 5, 2023 12:54 1m 0s
added a redispatch for IsomorphismFpGroup Lint #608: Commit a65140a pushed by ThomasBreuer
May 5, 2023 07:10 1m 6s master
master
May 5, 2023 07:10 1m 6s
Lint Lint #607: Scheduled
May 5, 2023 03:14 51s master
master
May 5, 2023 03:14 51s
added a redispatch for IsomorphismFpGroup Lint #606: Pull request #5446 opened by ThomasBreuer
May 4, 2023 13:54 1m 7s ThomasBreuer:TB_IsomorphismFpGroup
ThomasBreuer:TB_IsomorphismFpGroup
May 4, 2023 13:54 1m 7s
added some missing functionality for domains of cyclotomics Lint #605: Pull request #5445 opened by ThomasBreuer
May 4, 2023 12:31 1m 2s ThomasBreuer:TB_cyclotomics_algebra
ThomasBreuer:TB_cyclotomics_algebra
May 4, 2023 12:31 1m 2s
Lint Lint #604: Scheduled
May 4, 2023 03:14 50s master
master
May 4, 2023 03:14 50s
kernel: change BOOL from Int to int Lint #603: Pull request #5438 reopened by fingolfin
May 3, 2023 16:21 1m 14s fingolfin:mh/small-BOOL
fingolfin:mh/small-BOOL
May 3, 2023 16:21 1m 14s
Stop installing headers into ${includedir}/gap/src Lint #602: Pull request #5435 reopened by fingolfin
May 3, 2023 15:56 47s fingolfin:mh/buildsys-no-include-src
fingolfin:mh/buildsys-no-include-src
May 3, 2023 15:56 47s
ENHANCE: permgroup central series Lint #601: Commit 1ab220f pushed by fingolfin
May 3, 2023 15:55 52s master
master
May 3, 2023 15:55 52s
Lint Lint #600: Scheduled
May 3, 2023 03:14 1m 2s master
master
May 3, 2023 03:14 1m 2s
Lint Lint #599: Scheduled
May 2, 2023 03:14 47s master
master
May 2, 2023 03:14 47s
Lint Lint #598: Scheduled
May 1, 2023 03:14 57s master
master
May 1, 2023 03:14 57s
Lint Lint #597: Scheduled
April 30, 2023 03:14 55s master
master
April 30, 2023 03:14 55s
Lint Lint #596: Scheduled
April 29, 2023 03:13 51s master
master
April 29, 2023 03:13 51s
Lint Lint #595: Scheduled
April 28, 2023 03:14 1m 4s master
master
April 28, 2023 03:14 1m 4s
Lint Lint #594: Scheduled
April 27, 2023 03:14 57s master
master
April 27, 2023 03:14 57s
Missing from #5433, automs order 512, and nilpotency test for permgroups Lint #593: Pull request #5437 synchronize by hulpke
April 26, 2023 23:04 1m 0s hulpke:fixes
hulpke:fixes
April 26, 2023 23:04 1m 0s
Missing from #5433, automs order 512, and nilpotency test for permgroups Lint #592: Pull request #5437 synchronize by hulpke
April 26, 2023 13:41 51s hulpke:fixes
hulpke:fixes
April 26, 2023 13:41 51s
Lint Lint #591: Scheduled
April 26, 2023 03:14 1m 3s master
master
April 26, 2023 03:14 1m 3s
Lint Lint #590: Scheduled
April 25, 2023 03:14 48s master
master
April 25, 2023 03:14 48s
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
ProTip! You can narrow down the results and go further in time using created:<2023-04-23 or the other filters available.