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 bug in gen pairs Lint #2296: Pull request #1043 synchronize by james-d-mitchell
October 25, 2024 09:07 36s james-d-mitchell:fix-bug-in-gen-pairs
james-d-mitchell:fix-bug-in-gen-pairs
October 25, 2024 09:07 36s
Lint Lint #2295: Scheduled
October 25, 2024 03:31 37s main
main
October 25, 2024 03:31 37s
Fix bug in gen pairs Lint #2294: Pull request #1043 opened by james-d-mitchell
October 24, 2024 08:43 37s james-d-mitchell:fix-bug-in-gen-pairs
james-d-mitchell:fix-bug-in-gen-pairs
October 24, 2024 08:43 37s
Lint Lint #2293: Scheduled
October 24, 2024 03:30 31s main
main
October 24, 2024 03:30 31s
Lint Lint #2292: Scheduled
October 23, 2024 03:30 37s main
main
October 23, 2024 03:30 37s
Lint Lint #2291: Scheduled
October 22, 2024 03:30 31s main
main
October 22, 2024 03:30 31s
Lint Lint #2290: Scheduled
October 21, 2024 03:33 33s main
main
October 21, 2024 03:33 33s
Update version numbers etc for v5.4.0 Lint #2289: Commit 265de04 pushed by james-d-mitchell
October 20, 2024 11:06 32s main
main
October 20, 2024 11:06 32s
Lint Lint #2288: Scheduled
October 20, 2024 03:34 33s main
main
October 20, 2024 03:34 33s
Update version numbers etc for v5.4.0 Lint #2287: Commit 265de04 pushed by james-d-mitchell
October 19, 2024 16:03 33s stable-5.4
stable-5.4
October 19, 2024 16:03 33s
Update version numbers etc for v5.4.0 Lint #2286: Pull request #1041 synchronize by james-d-mitchell
October 19, 2024 11:12 34s rc-v5.4.0
rc-v5.4.0
October 19, 2024 11:12 34s
Update version numbers etc for v5.4.0 Lint #2285: Pull request #1041 synchronize by james-d-mitchell
October 19, 2024 11:10 34s rc-v5.4.0
rc-v5.4.0
October 19, 2024 11:10 34s
Lint Lint #2284: Scheduled
October 19, 2024 03:28 34s main
main
October 19, 2024 03:28 34s
Add sandwich semigroup Lint #2283: Pull request #1042 synchronize by MTWhyte
October 18, 2024 16:14 37s MTWhyte:add-sandwich-semigroup
MTWhyte:add-sandwich-semigroup
October 18, 2024 16:14 37s
Add sandwich semigroup Lint #2282: Pull request #1042 opened by MTWhyte
October 18, 2024 14:55 34s MTWhyte:add-sandwich-semigroup
MTWhyte:add-sandwich-semigroup
October 18, 2024 14:55 34s
Update version numbers etc for v5.4.0 Lint #2281: Pull request #1041 opened by james-d-mitchell
October 18, 2024 13:57 33s rc-v5.4.0
rc-v5.4.0
October 18, 2024 13:57 33s
Lint Lint #2280: Scheduled
October 18, 2024 03:32 36s main
main
October 18, 2024 03:32 36s
Merge branch 'stable-5.3' Lint #2279: Commit 9ea21c5 pushed by james-d-mitchell
October 17, 2024 13:50 34s stable-5.4
stable-5.4
October 17, 2024 13:50 34s
Lint Lint #2278: Scheduled
October 17, 2024 03:30 32s main
main
October 17, 2024 03:30 32s
Lint Lint #2277: Scheduled
October 16, 2024 03:32 12s main
main
October 16, 2024 03:32 12s
Lint Lint #2276: Scheduled
October 15, 2024 03:31 17s main
main
October 15, 2024 03:31 17s
Lint Lint #2275: Scheduled
October 14, 2024 03:33 13s main
main
October 14, 2024 03:33 13s
Lint Lint #2274: Scheduled
October 13, 2024 03:31 16s main
main
October 13, 2024 03:31 16s
Lint Lint #2273: Scheduled
October 12, 2024 03:27 12s main
main
October 12, 2024 03:27 12s
Lint Lint #2272: Scheduled
October 11, 2024 03:29 15s main
main
October 11, 2024 03:29 15s