search

semigroups / Semigroups

The GAP package Semigroups
https://semigroups.github.io/Semigroups/
Other
23 stars 36 forks source link

Setup a `workspaces` CI job #961

Closed james-d-mitchell closed 1 year ago

james-d-mitchell commented 1 year ago

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

james-d-mitchell commented 1 year ago

Resolved by #962