Skip to content

Actions: james-d-mitchell/libsemigroups

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
66 workflow runs
66 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Support dynamic max-plus in Konieczny (#967) Coverage #77: Commit 71a97cc pushed by james-d-mitchell
10m 54s main
main
10m 54s
Support dynamic max-plus in Konieczny (#967) Quick tests #96: Commit 71a97cc pushed by james-d-mitchell
15m 4s main
main
15m 4s
Improve knuth bendix 2 squash Sanitisers #8: Pull request #15 opened by Joseph-Edwards
1h 15m 16s Joseph-Edwards:improve-knuth-bendix-2-squash
Joseph-Edwards:improve-knuth-bendix-2-squash
1h 15m 16s
Improve knuth bendix 2 squash Compiler warnings #8: Pull request #15 opened by Joseph-Edwards
11m 3s Joseph-Edwards:improve-knuth-bendix-2-squash
Joseph-Edwards:improve-knuth-bendix-2-squash
11m 3s
Improve knuth bendix 2 squash Linting #101: Pull request #15 opened by Joseph-Edwards
19m 23s Joseph-Edwards:improve-knuth-bendix-2-squash
Joseph-Edwards:improve-knuth-bendix-2-squash
19m 23s
Improve knuth bendix 2 squash Quick tests #95: Pull request #15 opened by Joseph-Edwards
39m 58s Joseph-Edwards:improve-knuth-bendix-2-squash
Joseph-Edwards:improve-knuth-bendix-2-squash
39m 58s
Improve knuth bendix 2 squash Downstream #17: Pull request #15 opened by Joseph-Edwards
31m 7s Joseph-Edwards:improve-knuth-bendix-2-squash
Joseph-Edwards:improve-knuth-bendix-2-squash
31m 7s
Improve knuth bendix 2 squash Config options #8: Pull request #15 opened by Joseph-Edwards
59m 55s Joseph-Edwards:improve-knuth-bendix-2-squash
Joseph-Edwards:improve-knuth-bendix-2-squash
59m 55s
Improve knuth bendix 2 squash Coverage #76: Pull request #15 opened by Joseph-Edwards
12m 15s Joseph-Edwards:improve-knuth-bendix-2-squash
Joseph-Edwards:improve-knuth-bendix-2-squash
12m 15s
Improve knuth bendix 2 squash Compilers #8: Pull request #15 opened by Joseph-Edwards
1h 6m 9s Joseph-Edwards:improve-knuth-bendix-2-squash
Joseph-Edwards:improve-knuth-bendix-2-squash
1h 6m 9s
Improve knuth bendix 2 squash OS #20: Pull request #15 opened by Joseph-Edwards
1h 0m 37s Joseph-Edwards:improve-knuth-bendix-2-squash
Joseph-Edwards:improve-knuth-bendix-2-squash
1h 0m 37s
Improve knuth bendix 2 squash clang-format #762: Pull request #15 opened by Joseph-Edwards
18m 59s Joseph-Edwards:improve-knuth-bendix-2-squash
Joseph-Edwards:improve-knuth-bendix-2-squash
18m 59s
ci: update OpenBSD prepare step Coverage #75: Commit fb9b61b pushed by james-d-mitchell
10m 58s stable-3.5
stable-3.5
10m 58s
ci: update OpenBSD prepare step Quick tests #94: Commit fb9b61b pushed by james-d-mitchell
17m 54s stable-3.5
stable-3.5
17m 54s
Only check for overlaps in pairs that we haven't already checked: Attempt 2 Linting #100: Pull request #14 opened by Joseph-Edwards
13m 29s Joseph-Edwards:improve-knuth-bendix-2-squash
Joseph-Edwards:improve-knuth-bendix-2-squash
13m 29s
Only check for overlaps in pairs that we haven't already checked: Attempt 2 clang-format #761: Pull request #14 opened by Joseph-Edwards
12m 55s Joseph-Edwards:improve-knuth-bendix-2-squash
Joseph-Edwards:improve-knuth-bendix-2-squash
12m 55s
Only check for overlaps in pairs that we haven't already checked: Attempt 2 Coverage #74: Pull request #14 opened by Joseph-Edwards
23m 30s Joseph-Edwards:improve-knuth-bendix-2-squash
Joseph-Edwards:improve-knuth-bendix-2-squash
23m 30s
Only check for overlaps in pairs that we haven't already checked: Attempt 2 Downstream #16: Pull request #14 opened by Joseph-Edwards
34m 28s Joseph-Edwards:improve-knuth-bendix-2-squash
Joseph-Edwards:improve-knuth-bendix-2-squash
34m 28s
Only check for overlaps in pairs that we haven't already checked: Attempt 2 OS #19: Pull request #14 opened by Joseph-Edwards
40m 58s Joseph-Edwards:improve-knuth-bendix-2-squash
Joseph-Edwards:improve-knuth-bendix-2-squash
40m 58s
Only check for overlaps in pairs that we haven't already checked: Attempt 2 Compilers #7: Pull request #14 opened by Joseph-Edwards
41m 25s Joseph-Edwards:improve-knuth-bendix-2-squash
Joseph-Edwards:improve-knuth-bendix-2-squash
41m 25s
Only check for overlaps in pairs that we haven't already checked: Attempt 2 Config options #7: Pull request #14 opened by Joseph-Edwards
25m 13s Joseph-Edwards:improve-knuth-bendix-2-squash
Joseph-Edwards:improve-knuth-bendix-2-squash
25m 13s
Only check for overlaps in pairs that we haven't already checked: Attempt 2 Compiler warnings #7: Pull request #14 opened by Joseph-Edwards
12m 21s Joseph-Edwards:improve-knuth-bendix-2-squash
Joseph-Edwards:improve-knuth-bendix-2-squash
12m 21s
Only check for overlaps in pairs that we haven't already checked: Attempt 2 Sanitisers #7: Pull request #14 opened by Joseph-Edwards
20m 41s Joseph-Edwards:improve-knuth-bendix-2-squash
Joseph-Edwards:improve-knuth-bendix-2-squash
20m 41s
Only check for overlaps in pairs that we haven't already checked: Attempt 2 Quick tests #93: Pull request #14 opened by Joseph-Edwards
28m 17s Joseph-Edwards:improve-knuth-bendix-2-squash
Joseph-Edwards:improve-knuth-bendix-2-squash
28m 17s
Only check for overlaps in pairs that we haven't already checked Config options #6: Pull request #13 synchronize by Joseph-Edwards
26m 51s Joseph-Edwards:improve-knuth-bendix-2-squash
Joseph-Edwards:improve-knuth-bendix-2-squash
26m 51s