Skip to content

Actions: gap-system/gap

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
553 workflow run results
553 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stop using GNU libtool for linking GAP and libgap Lint #1250: Pull request #5306 synchronize by fingolfin
January 15, 2024 23:29 42s fingolfin:mh/no-libtool
fingolfin:mh/no-libtool
January 15, 2024 23:29 42s
Stop using GNU libtool for linking GAP and libgap Lint #1249: Pull request #5306 synchronize by fingolfin
January 15, 2024 23:04 38s fingolfin:mh/no-libtool
fingolfin:mh/no-libtool
January 15, 2024 23:04 38s
Remove some unused function arguments (#5577) Lint #1248: Commit f552f74 pushed by fingolfin
January 15, 2024 22:49 39s master
master
January 15, 2024 22:49 39s
Stop using GNU libtool for linking GAP and libgap Lint #1247: Pull request #5306 synchronize by fingolfin
January 15, 2024 22:44 43s fingolfin:mh/no-libtool
fingolfin:mh/no-libtool
January 15, 2024 22:44 43s
Bump actions/setup-python from 4 to 5 (#5588) Lint #1246: Commit e0cc1f8 pushed by fingolfin
January 15, 2024 06:12 39s master
master
January 15, 2024 06:12 39s
Bump actions/configure-pages from 2 to 4 (#5589) Lint #1245: Commit 8b5b3dc pushed by fingolfin
January 15, 2024 06:11 47s master
master
January 15, 2024 06:11 47s
Lint Lint #1244: Scheduled
January 15, 2024 03:14 41s master
master
January 15, 2024 03:14 41s
Bump actions/configure-pages from 2 to 4 Lint #1243: Pull request #5589 opened by dependabot bot
January 15, 2024 01:31 40s dependabot/github_actions/actions/configure-pages-4
dependabot/github_actions/actions/configure-pages-4
January 15, 2024 01:31 40s
Bump actions/setup-python from 4 to 5 Lint #1242: Pull request #5588 opened by dependabot bot
January 15, 2024 01:31 46s dependabot/github_actions/actions/setup-python-5
dependabot/github_actions/actions/setup-python-5
January 15, 2024 01:31 46s
Stop using GNU libtool for linking GAP and libgap Lint #1241: Pull request #5306 synchronize by fingolfin
January 15, 2024 00:11 38s fingolfin:mh/no-libtool
fingolfin:mh/no-libtool
January 15, 2024 00:11 38s
Stop using GNU libtool for linking GAP and libgap Lint #1240: Pull request #5306 synchronize by fingolfin
January 14, 2024 23:54 46s fingolfin:mh/no-libtool
fingolfin:mh/no-libtool
January 14, 2024 23:54 46s
Stop using GNU libtool for linking GAP and libgap Lint #1239: Pull request #5306 synchronize by fingolfin
January 14, 2024 23:47 36s fingolfin:mh/no-libtool
fingolfin:mh/no-libtool
January 14, 2024 23:47 36s
Stop using GNU libtool for linking GAP and libgap Lint #1238: Pull request #5306 synchronize by fingolfin
January 14, 2024 23:06 43s fingolfin:mh/no-libtool
fingolfin:mh/no-libtool
January 14, 2024 23:06 43s
Remove some unused function arguments Lint #1237: Pull request #5577 synchronize by james-d-mitchell
January 14, 2024 18:58 39s james-d-mitchell:unused-func-args-1
james-d-mitchell:unused-func-args-1
January 14, 2024 18:58 39s
Add function to get and change current directory (#5585) Lint #1236: Commit 5533cdb pushed by fingolfin
January 14, 2024 15:07 44s master
master
January 14, 2024 15:07 44s
Stop using GNU libtool for linking GAP and libgap Lint #1235: Pull request #5306 synchronize by fingolfin
January 14, 2024 14:20 37s fingolfin:mh/no-libtool
fingolfin:mh/no-libtool
January 14, 2024 14:20 37s
Add function ChangeDirectoryCurrent to change current directory (identical to the one provided by the IO package) Lint #1234: Pull request #5585 synchronize by fingolfin
January 14, 2024 14:09 40s fingolfin:mh/curdir
fingolfin:mh/curdir
January 14, 2024 14:09 40s
Lint Lint #1233: Scheduled
January 14, 2024 03:14 40s master
master
January 14, 2024 03:14 40s
This is a continuation of #5577 removing more unused function arguments Lint #1232: Pull request #5587 opened by james-d-mitchell
January 13, 2024 13:49 39s james-d-mitchell:unused-func-args-2
james-d-mitchell:unused-func-args-2
January 13, 2024 13:49 39s
Remove some unused function arguments Lint #1231: Pull request #5577 synchronize by james-d-mitchell
January 13, 2024 12:37 45s james-d-mitchell:unused-func-args-1
james-d-mitchell:unused-func-args-1
January 13, 2024 12:37 45s
Fix RemoveDirectoryRecursively for immutable argument (#5584) Lint #1230: Commit 9d3fdea pushed by fingolfin
January 13, 2024 12:26 40s master
master
January 13, 2024 12:26 40s
Lint Lint #1229: Scheduled
January 13, 2024 03:14 39s master
master
January 13, 2024 03:14 39s
Add function ChangeDirectoryCurrent to change current directory (identical to the one provided by the IO package) Lint #1228: Pull request #5585 opened by fingolfin
January 12, 2024 18:46 38s fingolfin:mh/curdir
fingolfin:mh/curdir
January 12, 2024 18:46 38s
Remove some unused function arguments Lint #1227: Pull request #5577 synchronize by james-d-mitchell
January 12, 2024 16:59 44s james-d-mitchell:unused-func-args-1
james-d-mitchell:unused-func-args-1
January 12, 2024 16:59 44s
Extend StreamFormatting to seperate linewrap and indenting Lint #1226: Pull request #5140 synchronize by ChrisJefferson
January 12, 2024 13:01 39s ChrisJefferson:formatting
ChrisJefferson:formatting
January 12, 2024 13:01 39s