Skip to content

Actions: semigroups/Semigroups

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
825 workflow runs
825 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lint Lint #2303: Scheduled
October 31, 2024 03:33 31s main
main
October 31, 2024 03:33 31s
Lint Lint #2302: Scheduled
October 30, 2024 03:31 33s main
main
October 30, 2024 03:31 33s
Lint Lint #2301: Scheduled
October 29, 2024 03:32 32s main
main
October 29, 2024 03:32 32s
Lint Lint #2300: Scheduled
October 28, 2024 03:34 30s main
main
October 28, 2024 03:34 30s
Lint Lint #2299: Scheduled
October 27, 2024 03:33 34s main
main
October 27, 2024 03:33 34s
Lint Lint #2298: Scheduled
October 26, 2024 03:28 35s main
main
October 26, 2024 03:28 35s
Fix issue in gen. pairs for cong Lint #2297: Commit dfcb945 pushed by james-d-mitchell
October 25, 2024 16:24 36s stable-5.4
stable-5.4
October 25, 2024 16:24 36s
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