From c43bea32cff798b760ae8b9de44295424a52608c Mon Sep 17 00:00:00 2001 From: Dario Izzo Date: Tue, 22 Oct 2024 18:29:42 +0200 Subject: [PATCH] refresh of CI --- ppnf_devel.yml | 3 ++- tools/gha_pygmo_plugins_nonfree_linux.sh | 9 ++++++--- 2 files changed, 8 insertions(+), 4 deletions(-) diff --git a/ppnf_devel.yml b/ppnf_devel.yml index a41f1b1..af28ee2 100644 --- a/ppnf_devel.yml +++ b/ppnf_devel.yml @@ -11,4 +11,5 @@ dependencies: - pybind11 - pybind11-abi - python - - pygmo \ No newline at end of file + - pygmo + - python=3.13 \ No newline at end of file diff --git a/tools/gha_pygmo_plugins_nonfree_linux.sh b/tools/gha_pygmo_plugins_nonfree_linux.sh index 3391efe..164edf2 100644 --- a/tools/gha_pygmo_plugins_nonfree_linux.sh +++ b/tools/gha_pygmo_plugins_nonfree_linux.sh @@ -10,10 +10,13 @@ set -e sudo apt-get install wget # Install conda+deps. -wget https://github.com/conda-forge/miniforge/releases/latest/download/Miniforge3-Linux-x86_64.sh -O miniforge3.sh +wget https://repo.continuum.io/miniconda/Miniconda3-latest-Linux-x86_64.sh -O miniconda.sh export deps_dir=$HOME/local -export PATH="$HOME/miniforge3/bin:$PATH" -bash miniforge3.sh -b -p $HOME/miniforge3 +export PATH="$HOME/miniconda/bin:$PATH" +bash miniconda.sh -b -p $HOME/miniconda +conda config --add channels conda-forge +conda config --set channel_priority strict + mamba env create -f ppnf_devel.yml -q -p $deps_dir source activate $deps_dir