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

Merge generate_package_release_notes.py into release_notes.py Lint #1348: Pull request #5619 opened by fingolfin
February 1, 2024 22:47 43s fingolfin:mh/merge_release_notes_tools
fingolfin:mh/merge_release_notes_tools
February 1, 2024 22:47 43s
Initial release notes for GAP 4.13 series (#5617) Lint #1347: Commit 27c6268 pushed by fingolfin
February 1, 2024 20:33 40s master
master
February 1, 2024 20:33 40s
Initial release notes for GAP 4.13 series Lint #1346: Pull request #5617 synchronize by fingolfin
February 1, 2024 20:33 40s fingolfin:mh/CHANGES
fingolfin:mh/CHANGES
February 1, 2024 20:33 40s
Initial release notes for GAP 4.13 series Lint #1345: Pull request #5617 opened by fingolfin
February 1, 2024 15:50 42s fingolfin:mh/CHANGES
fingolfin:mh/CHANGES
February 1, 2024 15:50 42s
Improve generate_package_release_notes.py (#5615) Lint #1344: Commit 2b9bfb4 pushed by fingolfin
February 1, 2024 13:33 41s master
master
February 1, 2024 13:33 41s
Lint Lint #1343: Scheduled
February 1, 2024 03:14 38s master
master
February 1, 2024 03:14 38s
Cleanup release python scripts Lint #1342: Pull request #5616 opened by james-d-mitchell
January 31, 2024 08:40 43s james-d-mitchell:release-script
james-d-mitchell:release-script
January 31, 2024 08:40 43s
Lint Lint #1341: Scheduled
January 31, 2024 03:14 40s master
master
January 31, 2024 03:14 40s
Improve generate_package_release_notes.py Lint #1340: Pull request #5615 opened by fingolfin
January 30, 2024 22:29 41s fingolfin:mh/generate_package_release_notes
fingolfin:mh/generate_package_release_notes
January 30, 2024 22:29 41s
buildsys: detect 'check-manuals' exit code (#5614) Lint #1339: Commit 6873315 pushed by fingolfin
January 30, 2024 22:22 41s master
master
January 30, 2024 22:22 41s
New script generating release notes (#5613) Lint #1338: Commit 4fddc12 pushed by fingolfin
January 30, 2024 22:22 42s master
master
January 30, 2024 22:22 42s
buildsys: detect 'check-manuals' exit code Lint #1337: Pull request #5614 synchronize by fingolfin
January 30, 2024 16:17 41s fingolfin:mh/check-manuals
fingolfin:mh/check-manuals
January 30, 2024 16:17 41s
buildsys: detect 'check-manuals' exit code Lint #1336: Pull request #5614 opened by fingolfin
January 30, 2024 15:02 45s fingolfin:mh/check-manuals
fingolfin:mh/check-manuals
January 30, 2024 15:02 45s
New script generating release notes Lint #1335: Pull request #5613 synchronize by fingolfin
January 30, 2024 09:58 43s fingolfin:mh/release-script
fingolfin:mh/release-script
January 30, 2024 09:58 43s
Lint Lint #1334: Scheduled
January 30, 2024 03:14 41s master
master
January 30, 2024 03:14 41s
New script generating release notes Lint #1333: Pull request #5613 synchronize by fingolfin
January 29, 2024 23:28 42s fingolfin:mh/release-script
fingolfin:mh/release-script
January 29, 2024 23:28 42s
Replace redundant ifs (#5611) Lint #1332: Commit 4dadca0 pushed by fingolfin
January 29, 2024 21:36 42s master
master
January 29, 2024 21:36 42s
New script generating release notes Lint #1331: Pull request #5613 opened by fingolfin
January 29, 2024 15:05 42s fingolfin:mh/release-script
fingolfin:mh/release-script
January 29, 2024 15:05 42s
NC versions of PreImages, PreImagesSet, PreImagesElm and PreImagesRepresentative Lint #1330: Pull request #5073 synchronize by fingolfin
January 29, 2024 09:35 40s preimrep
preimrep
January 29, 2024 09:35 40s
Use ReturnTrue/False/Fail/First and IdFunc Lint #1329: Pull request #5612 opened by james-d-mitchell
January 29, 2024 09:08 44s james-d-mitchell:use-return-true
james-d-mitchell:use-return-true
January 29, 2024 09:08 44s
Lint Lint #1328: Scheduled
January 29, 2024 03:14 42s master
master
January 29, 2024 03:14 42s
Replace redundant ifs Lint #1327: Pull request #5611 synchronize by james-d-mitchell
January 28, 2024 21:27 40s james-d-mitchell:replace-redundant-ifs
james-d-mitchell:replace-redundant-ifs
January 28, 2024 21:27 40s
Replace redundant ifs Lint #1326: Pull request #5611 synchronize by james-d-mitchell
January 28, 2024 21:27 38s james-d-mitchell:replace-redundant-ifs
james-d-mitchell:replace-redundant-ifs
January 28, 2024 21:27 38s
Replace redundant ifs Lint #1325: Pull request #5611 synchronize by james-d-mitchell
January 28, 2024 20:28 40s james-d-mitchell:replace-redundant-ifs
james-d-mitchell:replace-redundant-ifs
January 28, 2024 20:28 40s
Replace redundant ifs Lint #1324: Pull request #5611 opened by james-d-mitchell
January 28, 2024 20:21 39s james-d-mitchell:replace-redundant-ifs
james-d-mitchell:replace-redundant-ifs
January 28, 2024 20:21 39s