Skip to content

Use conda version of libsemigroups in the CI - #240

Closed
Joseph-Edwards wants to merge 5 commits into
libsemigroups:v1from
Joseph-Edwards:ci-use-conda
Closed

Use conda version of libsemigroups in the CI#240
Joseph-Edwards wants to merge 5 commits into
libsemigroups:v1from
Joseph-Edwards:ci-use-conda

Use micromamba for python

57f3ef0
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs