Skip to content

Actions: semigroups/Semigroups

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
828 workflow runs
828 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix GAP coverage script newline issue (#1029) Lint #2194: Commit ff54965 pushed by james-d-mitchell
August 22, 2024 10:46 29s main
main
August 22, 2024 10:46 29s
fix typo in nambooripad partial order documentation Lint #2193: Pull request #1030 synchronize by james-d-mitchell
August 22, 2024 10:46 29s Tianrun-Y:fix-typo
Tianrun-Y:fix-typo
August 22, 2024 10:46 29s
Lint Lint #2192: Scheduled
August 22, 2024 03:25 28s main
main
August 22, 2024 03:25 28s
fix typo in nambooripad partial order documentation Lint #2191: Pull request #1030 opened by Tianrun-Y
August 21, 2024 14:28 32s Tianrun-Y:fix-typo
Tianrun-Y:fix-typo
August 21, 2024 14:28 32s
Mitsch Order Lint #2190: Pull request #1024 synchronize by Tianrun-Y
August 21, 2024 13:30 30s Tianrun-Y:mitsch-new
Tianrun-Y:mitsch-new
August 21, 2024 13:30 30s
Mitsch Order Lint #2189: Pull request #1024 synchronize by Tianrun-Y
August 21, 2024 13:12 33s Tianrun-Y:mitsch-new
Tianrun-Y:mitsch-new
August 21, 2024 13:12 33s
Fix GAP coverage script newline issue Lint #2188: Pull request #1029 synchronize by james-d-mitchell
August 21, 2024 12:44 37s reiniscirpons:fix-gap-coverage-script
reiniscirpons:fix-gap-coverage-script
August 21, 2024 12:44 37s
Mitsch Order Lint #2187: Pull request #1024 synchronize by Tianrun-Y
August 21, 2024 12:29 32s Tianrun-Y:mitsch-new
Tianrun-Y:mitsch-new
August 21, 2024 12:29 32s
Mitsch Order Lint #2186: Pull request #1024 synchronize by Tianrun-Y
August 21, 2024 11:22 28s Tianrun-Y:mitsch-new
Tianrun-Y:mitsch-new
August 21, 2024 11:22 28s
Fix GAP coverage script newline issue Lint #2185: Pull request #1029 opened by reiniscirpons
August 21, 2024 11:09 31s reiniscirpons:fix-gap-coverage-script
reiniscirpons:fix-gap-coverage-script
August 21, 2024 11:09 31s
Mitsch Order Lint #2184: Pull request #1024 synchronize by Tianrun-Y
August 21, 2024 09:04 28s Tianrun-Y:mitsch-new
Tianrun-Y:mitsch-new
August 21, 2024 09:04 28s
Lint Lint #2183: Scheduled
August 21, 2024 03:24 35s main
main
August 21, 2024 03:24 35s
Lint Lint #2182: Scheduled
August 20, 2024 03:26 28s main
main
August 20, 2024 03:26 28s
build(deps): bump codespell-project/actions-codespell from 2.0 to 2.1 Lint #2181: Commit 9bac2d8 pushed by james-d-mitchell
August 19, 2024 07:18 32s main
main
August 19, 2024 07:18 32s
Lint Lint #2180: Scheduled
August 19, 2024 03:25 29s main
main
August 19, 2024 03:25 29s
build(deps): bump codespell-project/actions-codespell from 2.0 to 2.1 Lint #2179: Pull request #1028 opened by dependabot bot
August 19, 2024 02:25 30s dependabot/github_actions/codespell-project/actions-codespell-2.1
dependabot/github_actions/codespell-project/actions-codespell-2.1
August 19, 2024 02:25 30s
Lint Lint #2178: Scheduled
August 18, 2024 03:23 34s main
main
August 18, 2024 03:23 34s
Lint Lint #2177: Scheduled
August 17, 2024 03:24 29s main
main
August 17, 2024 03:24 29s
Lint Lint #2176: Scheduled
August 16, 2024 03:27 29s main
main
August 16, 2024 03:27 29s
Lint Lint #2175: Scheduled
August 15, 2024 03:23 27s main
main
August 15, 2024 03:23 27s
Mitsch Order Lint #2174: Pull request #1024 synchronize by Tianrun-Y
August 14, 2024 15:13 29s Tianrun-Y:mitsch-new
Tianrun-Y:mitsch-new
August 14, 2024 15:13 29s
Mitsch Order Lint #2173: Pull request #1024 synchronize by Tianrun-Y
August 14, 2024 14:42 28s Tianrun-Y:mitsch-new
Tianrun-Y:mitsch-new
August 14, 2024 14:42 28s
Mitsch Order Lint #2172: Pull request #1024 synchronize by Tianrun-Y
August 14, 2024 14:32 32s Tianrun-Y:mitsch-new
Tianrun-Y:mitsch-new
August 14, 2024 14:32 32s
Lint Lint #2171: Scheduled
August 14, 2024 03:26 34s main
main
August 14, 2024 03:26 34s
Lint Lint #2170: Scheduled
August 13, 2024 03:25 37s main
main
August 13, 2024 03:25 37s