Skip to content

Actions: gap-system/gap

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
615 workflow run results
615 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lint Lint #1323: Scheduled
January 28, 2024 03:13 37s master
master
January 28, 2024 03:13 37s
Lint Lint #1322: Scheduled
January 27, 2024 03:14 45s master
master
January 27, 2024 03:14 45s
Lint Lint #1321: Scheduled
January 26, 2024 03:14 39s master
master
January 26, 2024 03:14 39s
Use SortBy in more places (#5608) Lint #1320: Commit 9f41719 pushed by fingolfin
January 25, 2024 07:43 41s master
master
January 25, 2024 07:43 41s
Lint Lint #1319: Scheduled
January 25, 2024 03:14 38s master
master
January 25, 2024 03:14 38s
Use SortBy in more places Lint #1318: Pull request #5608 synchronize by fingolfin
January 24, 2024 14:22 42s fingolfin:mh/use-SortBy
fingolfin:mh/use-SortBy
January 24, 2024 14:22 42s
Fix check in testbugfix/2023-10-18-SetDimension.tst (#5607) Lint #1317: Commit 65a1194 pushed by fingolfin
January 24, 2024 14:19 42s master
master
January 24, 2024 14:19 42s
Use SortBy in more places Lint #1316: Pull request #5608 opened by fingolfin
January 24, 2024 14:19 34s fingolfin:mh/use-SortBy
fingolfin:mh/use-SortBy
January 24, 2024 14:19 34s
Fix check in testbugfix/2023-10-18-SetDimension.tst Lint #1315: Pull request #5607 opened by james-d-mitchell
January 24, 2024 12:52 45s james-d-mitchell:fix-SetDimension-test
james-d-mitchell:fix-SetDimension-test
January 24, 2024 12:52 45s
Lint Lint #1314: Scheduled
January 24, 2024 03:14 41s master
master
January 24, 2024 03:14 41s
Set package search paths independently from GAP roots Lint #1313: Pull request #933 synchronize by fingolfin
January 24, 2024 00:57 41s fingolfin:mh/pkg-paths
fingolfin:mh/pkg-paths
January 24, 2024 00:57 41s
kernel: change how ours GCs represent master pointers Lint #1312: Pull request #4937 synchronize by fingolfin
January 24, 2024 00:36 37s fingolfin:mh/gc-change-mptr
fingolfin:mh/gc-change-mptr
January 24, 2024 00:36 37s
Extend StreamFormatting to seperate linewrap and indenting Lint #1311: Pull request #5140 synchronize by ChrisJefferson
January 23, 2024 13:13 39s ChrisJefferson:formatting
ChrisJefferson:formatting
January 23, 2024 13:13 39s
Extend StreamFormatting to seperate linewrap and indenting Lint #1310: Pull request #5140 synchronize by ChrisJefferson
January 23, 2024 12:25 54s ChrisJefferson:formatting
ChrisJefferson:formatting
January 23, 2024 12:25 54s
Remove VISITED_STAT Lint #1309: Pull request #5261 synchronize by ChrisJefferson
January 23, 2024 10:37 40s ChrisJefferson:remove_visited
ChrisJefferson:remove_visited
January 23, 2024 10:37 40s
Extend StreamFormatting to seperate linewrap and indenting Lint #1308: Pull request #5140 synchronize by ChrisJefferson
January 23, 2024 08:02 37s ChrisJefferson:formatting
ChrisJefferson:formatting
January 23, 2024 08:02 37s
Extend StreamFormatting to seperate linewrap and indenting Lint #1307: Pull request #5140 synchronize by ChrisJefferson
January 23, 2024 08:01 39s ChrisJefferson:formatting
ChrisJefferson:formatting
January 23, 2024 08:01 39s
Remove VISITED_STAT Lint #1306: Pull request #5261 synchronize by ChrisJefferson
January 23, 2024 07:12 41s ChrisJefferson:remove_visited
ChrisJefferson:remove_visited
January 23, 2024 07:12 41s
buildsys: rename SPARC -> SYS_IS_SPARC, drop SYS_IS_CYGWIN32 (#5604) Lint #1305: Commit 63b79a7 pushed by fingolfin
January 23, 2024 05:48 40s master
master
January 23, 2024 05:48 40s
Lint Lint #1304: Scheduled
January 23, 2024 03:14 37s master
master
January 23, 2024 03:14 37s
buildsys: add some comments (#5602) Lint #1303: Commit c2b535e pushed by fingolfin
January 23, 2024 01:25 38s master
master
January 23, 2024 01:25 38s
dev/ci.sh: use GH Action grouping (#5603) Lint #1302: Commit 604f33f pushed by fingolfin
January 23, 2024 01:23 43s master
master
January 23, 2024 01:23 43s
Fix typo in Makefile.gappkg (#5605) Lint #1301: Commit a8dd36d pushed by fingolfin
January 23, 2024 01:23 39s master
master
January 23, 2024 01:23 39s
This is a continuation of #5577 removing more unused function argumen… Lint #1300: Commit 5c35346 pushed by fingolfin
January 23, 2024 00:26 41s master
master
January 23, 2024 00:26 41s
buildsys: rename SPARC -> SYS_IS_SPARC, drop SYS_IS_CYGWIN32 Lint #1299: Pull request #5604 synchronize by fingolfin
January 22, 2024 23:46 52s fingolfin:mh/drop-SYS_IS_CYGWIN32
fingolfin:mh/drop-SYS_IS_CYGWIN32
January 22, 2024 23:46 52s