Merge branch 'bugfix/CI' into 'master'

set up micromamba by hand rather than sourcing bashrc (fix CI)

See merge request !51

.gitlab-ci.yml

@@ -28,7 +28,10 @@ micromamba:
     stage: build
     script:
         - sh <(curl -L micro.mamba.pm/install.sh)
-        - source ~/.bashrc
+        - export MAMBA_EXE='/root/.local/bin/micromamba'
+        - export MAMBA_ROOT_PREFIX='/root/micromamba'
+        - __mamba_setup="$("$MAMBA_EXE" shell hook --shell bash --root-prefix "$MAMBA_ROOT_PREFIX" 2> /dev/null)"
+        - eval "$__mamba_setup"
         - micromamba --version
         - micromamba create -f prerequisites.yml -y -v
         - micromamba activate DAS