Skip to content

Actions: james-d-mitchell/libsemigroups

Actions

Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
11 workflow runs
11 workflow runs

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
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
ci: update OpenBSD prepare step Coverage #75: Commit fb9b61b pushed by james-d-mitchell
10m 58s stable-3.5
stable-3.5
10m 58s
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 Coverage #73: Pull request #13 synchronize by Joseph-Edwards
6m 55s Joseph-Edwards:improve-knuth-bendix-2-squash
Joseph-Edwards:improve-knuth-bendix-2-squash
6m 55s
Only check for overlaps in pairs that we haven't already checked Coverage #72: Pull request #13 opened by Joseph-Edwards
19m 59s Joseph-Edwards:improve-knuth-bendix-2-squash
Joseph-Edwards:improve-knuth-bendix-2-squash
19m 59s
increase_degree_by throws if the resultant degree would exceed the … Coverage #71: Commit 023cc87 pushed by james-d-mitchell
11m 16s stable-3.5
stable-3.5
11m 16s
Overlap iterator Coverage #70: Pull request #12 opened by Joseph-Edwards
6m 52s Joseph-Edwards:overlap-iterator
Joseph-Edwards:overlap-iterator
6m 52s
Do some TODOs Coverage #69: Pull request #11 opened by Joseph-Edwards
18m 18s Joseph-Edwards:improve-knuth-bendix-2
Joseph-Edwards:improve-knuth-bendix-2
18m 18s
Update include/libsemigroups/konieczny.tpp Coverage #68: Commit 7070a32 pushed by james-d-mitchell
7m 28s even-better-reporting
even-better-reporting
7m 28s
Proper attribution for symmetric_inverse_monoid_Gay18 Coverage #67: Commit 469d939 pushed by james-d-mitchell
10m 29s rename-func
rename-func
10m 29s
Konieczny: remove deduction guides Coverage #66: Commit 5e491e2 pushed by james-d-mitchell
9m 42s rm-extra-deduction-guides
rm-extra-deduction-guides
9m 42s