Replace runner.os with runner.name

DenisVieriu97 · Dec 6, 2023 · 5ab9821 · 5ab9821
1 parent 90bf7bc
commit 5ab9821
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/pull_mps.yml b/.github/workflows/pull_mps.yml
@@ -30,6 +30,11 @@ jobs:
         run: |
           set -eux
           if conda info --envs | grep -q "env-${{ runner.name }}"; then echo "base already exists"; else conda create -y -n "env-${{ runner.name }}"; fi
+          CONDA_ENV="env-${{ runner.name }}"
+          if [[ -n "$CONDA_ENV" ]]; then
+          # Use binaries under conda environment
+          export PATH="$CONDA_ENV/bin":$PATH
+          fi
 
           conda activate "env-${{ runner.name }}"