Repository navigation

Add CI workflow that tests using conda `libsemigroups` - #322

Closed

Joseph-Edwards wants to merge 3 commits into

libsemigroups:mainfrom

Joseph-Edwards:add-conda-to-ci

Closed

Add CI workflow that tests using conda `libsemigroups`#322
Joseph-Edwards wants to merge 3 commits into
libsemigroups:mainfrom
Joseph-Edwards:add-conda-to-ci

Commits on Sep 2, 2025
- CI: Lint in separate workflow
  Joseph-Edwards
  committed
  2249fdb
- CI: Add tests using conda libsemigroups
  Joseph-Edwards
  committed
  8cab3db
- CI: Don't use external fmt
  Joseph-Edwards
  committed
  b2c21d2