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

james-d-mitchell merged 1 commit intolibsemigroups:v1libsemigroups/libsemigroups_pybind11:v1from

Joseph-Edwards:update-ci-for-v3Joseph-Edwards/libsemigroups_pybind11:update-ci-for-v3Copy head branch name to clipboard