docker: pin to py3.10 to fix boost

SyneRBI · Sep 12, 2023 · 73d5430 · 73d5430
1 parent 172d9a1
commit 73d5430
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docker/user_python-ubuntu.sh b/docker/user_python-ubuntu.sh
@@ -26,7 +26,7 @@ fi
 # Python
 case "$PYTHON" in
 miniconda)
-  curl -L https://repo.anaconda.com/miniconda/Miniconda3-latest-Linux-x86_64.sh > miniconda.sh
+  curl -L https://repo.anaconda.com/miniconda/Miniconda3-py310_23.5.2-0-Linux-x86_64.sh > miniconda.sh
   echo -e "\nyes\n${INSTALL_DIR}\nno" | bash miniconda.sh
   rm miniconda.sh
   source "$INSTALL_DIR"/bin/activate