Repository navigation

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

Commits on May 1, 2025
- Use conda version of libsemigroups
  Joseph-Edwards
  committed
  3ddb079
- Add main branch test
  Joseph-Edwards
  committed
  0d514d8
- Add workflow to run on specific branch and fork
  Joseph-Edwards
  committed
  91e4179
- Use ccache
  Joseph-Edwards
  committed
  c578661
- Use micromamba for python
  Joseph-Edwards
  committed
  57f3ef0