Skip to content

Update the CI so that the micromamba environment isn't cached#387

Merged
Joseph-Edwards merged 1 commit intolibsemigroups:mainfrom
Joseph-Edwards:update-mamba-ci
Feb 2, 2026
Merged

Update the CI so that the micromamba environment isn't cached#387
Joseph-Edwards merged 1 commit intolibsemigroups:mainfrom
Joseph-Edwards:update-mamba-ci

Commits

Commits on Feb 2, 2026