update CI runner versions; update CI Python version

clinssen · Nov 19, 2024 · 03ac289 · 03ac289
1 parent b63d30b
commit 03ac289
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/.github/workflows/ode-toolbox-build.yml b/.github/workflows/ode-toolbox-build.yml
@@ -60,7 +60,9 @@ jobs:
           sudo apt install pkg-config python3-all-dev
 
       - name: Install GSL
+        if: ${{ matrix.with_gsl == "1" }}
         run: |
+          sudo apt remove libgsl27 libgsl-dev    # remove system-wide GSL version that is installed by default
           cd ..
           wget https://mirror.ibcp.fr/pub/gnu/gsl/gsl-latest.tar.gz
           tar -xzf gsl-latest.tar.gz
@@ -97,7 +99,3 @@ jobs:
       - name: Run codecov
         run: |
           codecov
-
-      - name: Setup tmate session
-        if: ${{ failure() }}
-        uses: mxschmitt/action-tmate@v3