diff --git a/scripts/run_commands b/scripts/run_commands index 5bf48a7..e36cd9a 100755 --- a/scripts/run_commands +++ b/scripts/run_commands @@ -45,6 +45,7 @@ rm -f miniconda.sh # Download micromamba and put it condabin curl -s -L $micromambapkg > /opt/conda/condabin/micromamba sha256sum /opt/conda/condabin/micromamba | grep $micromamba_chksum +chmod +x /opt/conda/condabin/micromamba # Work around TLS issues while updating conda's python and retrieving channel notices export CONDA_NUMBER_CHANNEL_NOTICES="0"