Skip to content

Actions: semigroups/Semigroups

Actions

Standard tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
822 workflow runs
822 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Generalize IsSelfDualSemigroup declaration Standard tests #2546: Commit 317dd11 pushed by james-d-mitchell
November 2, 2024 22:23 39m 59s main
main
November 2, 2024 22:23 39m 59s
Generalize IsSelfDualSemigroup declaration Standard tests #2545: Pull request #1044 opened by fingolfin
November 2, 2024 19:06 39m 45s fingolfin:patch-1
fingolfin:patch-1
November 2, 2024 19:06 39m 45s
Standard tests Standard tests #2544: Scheduled
November 2, 2024 03:32 38m 42s main
main
November 2, 2024 03:32 38m 42s
Standard tests Standard tests #2543: Scheduled
November 1, 2024 03:42 41m 1s main
main
November 1, 2024 03:42 41m 1s
Standard tests Standard tests #2542: Scheduled
October 31, 2024 03:36 39m 55s main
main
October 31, 2024 03:36 39m 55s
Standard tests Standard tests #2541: Scheduled
October 30, 2024 03:35 40m 23s main
main
October 30, 2024 03:35 40m 23s
Standard tests Standard tests #2540: Scheduled
October 29, 2024 03:35 33m 22s main
main
October 29, 2024 03:35 33m 22s
Standard tests Standard tests #2539: Scheduled
October 28, 2024 03:39 36m 15s main
main
October 28, 2024 03:39 36m 15s
Standard tests Standard tests #2538: Scheduled
October 27, 2024 03:37 39m 52s main
main
October 27, 2024 03:37 39m 52s
Standard tests Standard tests #2537: Scheduled
October 26, 2024 03:31 38m 56s main
main
October 26, 2024 03:31 38m 56s
Fix issue in gen. pairs for cong Standard tests #2536: Commit dfcb945 pushed by james-d-mitchell
October 25, 2024 16:24 40m 36s stable-5.4
stable-5.4
October 25, 2024 16:24 40m 36s
Fix bug in gen pairs Standard tests #2535: Pull request #1043 synchronize by james-d-mitchell
October 25, 2024 09:07 42m 31s james-d-mitchell:fix-bug-in-gen-pairs
james-d-mitchell:fix-bug-in-gen-pairs
October 25, 2024 09:07 42m 31s
Standard tests Standard tests #2534: Scheduled
October 25, 2024 03:35 40m 43s main
main
October 25, 2024 03:35 40m 43s
Fix bug in gen pairs Standard tests #2533: Pull request #1043 opened by james-d-mitchell
October 24, 2024 08:43 40m 12s james-d-mitchell:fix-bug-in-gen-pairs
james-d-mitchell:fix-bug-in-gen-pairs
October 24, 2024 08:43 40m 12s
Standard tests Standard tests #2532: Scheduled
October 24, 2024 03:33 39m 47s main
main
October 24, 2024 03:33 39m 47s
Standard tests Standard tests #2531: Scheduled
October 23, 2024 03:33 39m 58s main
main
October 23, 2024 03:33 39m 58s
Standard tests Standard tests #2530: Scheduled
October 22, 2024 03:34 41m 44s main
main
October 22, 2024 03:34 41m 44s
Standard tests Standard tests #2529: Scheduled
October 21, 2024 03:37 41m 46s main
main
October 21, 2024 03:37 41m 46s
Update version numbers etc for v5.4.0 Standard tests #2528: Commit 265de04 pushed by james-d-mitchell
October 20, 2024 11:06 39m 53s main
main
October 20, 2024 11:06 39m 53s
Standard tests Standard tests #2527: Scheduled
October 20, 2024 03:38 38m 39s main
main
October 20, 2024 03:38 38m 39s
Update version numbers etc for v5.4.0 Standard tests #2526: Commit 265de04 pushed by james-d-mitchell
October 19, 2024 16:03 40m 59s stable-5.4
stable-5.4
October 19, 2024 16:03 40m 59s
Update version numbers etc for v5.4.0 Standard tests #2525: Pull request #1041 synchronize by james-d-mitchell
October 19, 2024 11:12 39m 32s rc-v5.4.0
rc-v5.4.0
October 19, 2024 11:12 39m 32s
Update version numbers etc for v5.4.0 Standard tests #2524: Pull request #1041 synchronize by james-d-mitchell
October 19, 2024 11:10 3m 1s rc-v5.4.0
rc-v5.4.0
October 19, 2024 11:10 3m 1s
Standard tests Standard tests #2523: Scheduled
October 19, 2024 03:32 40m 11s main
main
October 19, 2024 03:32 40m 11s
Add sandwich semigroup Standard tests #2522: Pull request #1042 synchronize by MTWhyte
October 18, 2024 16:14 39m 15s MTWhyte:add-sandwich-semigroup
MTWhyte:add-sandwich-semigroup
October 18, 2024 16:14 39m 15s