Skip to content

Actions: semigroups/Semigroups

Actions

Workspaces

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
workspaces.yml
681 workflow runs
681 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Workspaces Workspaces #712: Scheduled
November 1, 2024 03:42 1m 30s main
main
November 1, 2024 03:42 1m 30s
Workspaces Workspaces #711: Scheduled
October 31, 2024 03:38 1m 28s main
main
October 31, 2024 03:38 1m 28s
Workspaces Workspaces #710: Scheduled
October 30, 2024 03:36 1m 43s main
main
October 30, 2024 03:36 1m 43s
Workspaces Workspaces #709: Scheduled
October 29, 2024 03:36 1m 26s main
main
October 29, 2024 03:36 1m 26s
Workspaces Workspaces #708: Scheduled
October 28, 2024 03:40 1m 47s main
main
October 28, 2024 03:40 1m 47s
Workspaces Workspaces #707: Scheduled
October 27, 2024 03:38 1m 26s main
main
October 27, 2024 03:38 1m 26s
Workspaces Workspaces #706: Scheduled
October 26, 2024 03:32 1m 30s main
main
October 26, 2024 03:32 1m 30s
Fix issue in gen. pairs for cong Workspaces #705: Commit dfcb945 pushed by james-d-mitchell
October 25, 2024 16:24 1m 46s stable-5.4
stable-5.4
October 25, 2024 16:24 1m 46s
Fix bug in gen pairs Workspaces #704: Pull request #1043 synchronize by james-d-mitchell
October 25, 2024 09:07 1m 32s james-d-mitchell:fix-bug-in-gen-pairs
james-d-mitchell:fix-bug-in-gen-pairs
October 25, 2024 09:07 1m 32s
Workspaces Workspaces #703: Scheduled
October 25, 2024 03:36 1m 23s main
main
October 25, 2024 03:36 1m 23s
Fix bug in gen pairs Workspaces #702: Pull request #1043 opened by james-d-mitchell
October 24, 2024 08:43 1m 42s james-d-mitchell:fix-bug-in-gen-pairs
james-d-mitchell:fix-bug-in-gen-pairs
October 24, 2024 08:43 1m 42s
Workspaces Workspaces #701: Scheduled
October 24, 2024 03:34 1m 32s main
main
October 24, 2024 03:34 1m 32s
Workspaces Workspaces #700: Scheduled
October 23, 2024 03:35 1m 44s main
main
October 23, 2024 03:35 1m 44s
Workspaces Workspaces #699: Scheduled
October 22, 2024 03:35 1m 26s main
main
October 22, 2024 03:35 1m 26s
Workspaces Workspaces #698: Scheduled
October 21, 2024 03:38 1m 26s main
main
October 21, 2024 03:38 1m 26s
Update version numbers etc for v5.4.0 Workspaces #697: Commit 265de04 pushed by james-d-mitchell
October 20, 2024 11:06 2m 0s main
main
October 20, 2024 11:06 2m 0s
Workspaces Workspaces #696: Scheduled
October 20, 2024 03:39 1m 26s main
main
October 20, 2024 03:39 1m 26s
Update version numbers etc for v5.4.0 Workspaces #695: Commit 265de04 pushed by james-d-mitchell
October 19, 2024 16:03 2m 13s stable-5.4
stable-5.4
October 19, 2024 16:03 2m 13s
Update version numbers etc for v5.4.0 Workspaces #694: Pull request #1041 synchronize by james-d-mitchell
October 19, 2024 11:12 1m 53s rc-v5.4.0
rc-v5.4.0
October 19, 2024 11:12 1m 53s
Update version numbers etc for v5.4.0 Workspaces #693: Pull request #1041 synchronize by james-d-mitchell
October 19, 2024 11:10 2m 25s rc-v5.4.0
rc-v5.4.0
October 19, 2024 11:10 2m 25s
Workspaces Workspaces #692: Scheduled
October 19, 2024 03:33 1m 42s main
main
October 19, 2024 03:33 1m 42s
Add sandwich semigroup Workspaces #691: Pull request #1042 synchronize by MTWhyte
October 18, 2024 16:14 1m 45s MTWhyte:add-sandwich-semigroup
MTWhyte:add-sandwich-semigroup
October 18, 2024 16:14 1m 45s
Add sandwich semigroup Workspaces #690: Pull request #1042 opened by MTWhyte
October 18, 2024 14:55 1m 50s MTWhyte:add-sandwich-semigroup
MTWhyte:add-sandwich-semigroup
October 18, 2024 14:55 1m 50s
Update version numbers etc for v5.4.0 Workspaces #689: Pull request #1041 opened by james-d-mitchell
October 18, 2024 13:57 1m 35s rc-v5.4.0
rc-v5.4.0
October 18, 2024 13:57 1m 35s
Workspaces Workspaces #688: Scheduled
October 18, 2024 03:37 1m 41s main
main
October 18, 2024 03:37 1m 41s