Skip to content

Update ci to use the stable-3.0 branch of libsemigroups #702

Update ci to use the stable-3.0 branch of libsemigroups

Update ci to use the stable-3.0 branch of libsemigroups #702