semigroups/Semigroups

Setup a `workspaces` CI job

james-d-mitchell opened this issue · 1 comments

james-d-mitchell commented

Somehow this isn't checked any more and has caused #960.

james-d-mitchell commented

Resolved by #962