Code

ci: update micromamba action#950

Code

Merged

james-d-mitchell merged 1 commit intosemigroups:mainsemigroups/Semigroups:mainfrom james-d-mitchell:update-micromambajames-d-mitchell/Semigroups:update-micromambaCopy head branch name to clipboardSep 12, 2023

+7-4

Commits

Commits on Sep 12, 2023

• ci: update micromamba action

  james-d-mitchell

  committed
  2ff697a