Skip to content

Use conda version of libsemigroups in the CI#240

Open
Joseph-Edwards wants to merge 5 commits intolibsemigroups:v1from
Joseph-Edwards:ci-use-conda

Commits

Commits on May 1, 2025