From c7d1ea2d495a23a063f52b73d17e14d0ae7201e0 Mon Sep 17 00:00:00 2001
From: Patrick Hoefler <patrick_hoefler@gmx.net>
Date: Wed, 31 Aug 2022 22:07:15 +0200
Subject: [PATCH 1/2] Switch to mambaforge for circleci

---
 .circleci/setup_env.sh | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

diff --git a/.circleci/setup_env.sh b/.circleci/setup_env.sh
index 6d494f28d75d1..0a2bf39fb3848 100755
--- a/.circleci/setup_env.sh
+++ b/.circleci/setup_env.sh
@@ -1,16 +1,16 @@
 #!/bin/bash -e
 
-echo "Install Miniconda"
-CONDA_URL="https://github.com/conda-forge/miniforge/releases/download/4.14.0-0/Miniforge3-4.14.0-0-Linux-aarch64.sh"
-echo "Downloading $CONDA_URL"
-wget -q $CONDA_URL -O miniconda.sh
-chmod +x miniconda.sh
+echo "Install Mambaforge"
+MAMBA_URL="https://github.com/conda-forge/miniforge/releases/download/4.14.0-0/Mambaforge-4.14.0-0-Linux-aarch64.sh"
+echo "Downloading $MAMBA_URL"
+wget -q $MAMBA_URL -O minimamba.sh
+chmod +x minimamba.sh
 
-MINICONDA_DIR="$HOME/miniconda3"
-rm -rf $MINICONDA_DIR
-./miniconda.sh -b -p $MINICONDA_DIR
+MAMBA_DIR="$HOME/mambaforge3"
+rm -rf $MAMBA_DIR
+./minimamba.sh -b -p $MAMBA_DIR
 
-export PATH=$MINICONDA_DIR/bin:$PATH
+export PATH=$MAMBA_DIR/bin:$PATH
 
 echo
 echo "which conda"
@@ -20,7 +20,7 @@ echo
 echo "update conda"
 conda config --set ssl_verify false
 conda config --set quiet true --set always_yes true --set changeps1 false
-conda install -y -c conda-forge -n base 'mamba>=0.21.2' pip setuptools
+mamba install -y -c conda-forge -n base pip setuptools
 
 echo "conda info -a"
 conda info -a

From 5a1b1f25b42fa196269cc582cc44864c5b236311 Mon Sep 17 00:00:00 2001
From: Patrick Hoefler <patrick_hoefler@gmx.net>
Date: Wed, 31 Aug 2022 22:24:00 +0200
Subject: [PATCH 2/2] Change dir

---
 .circleci/setup_env.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.circleci/setup_env.sh b/.circleci/setup_env.sh
index 0a2bf39fb3848..52a8cab1cd2de 100755
--- a/.circleci/setup_env.sh
+++ b/.circleci/setup_env.sh
@@ -6,7 +6,7 @@ echo "Downloading $MAMBA_URL"
 wget -q $MAMBA_URL -O minimamba.sh
 chmod +x minimamba.sh
 
-MAMBA_DIR="$HOME/mambaforge3"
+MAMBA_DIR="$HOME/miniconda3"
 rm -rf $MAMBA_DIR
 ./minimamba.sh -b -p $MAMBA_DIR