Skip to content

Deactivate run shell to fix cleanup error in micromamba#341

Merged
dnerini merged 1 commit intomasterfrom fix/mamba-cleanup-errorDec 20, 2023

Commits

Commits on Dec 20, 2023