latest no more devtoolset-10

DerbelHedi · Apr 7, 2023 · 2f8b758 · 2f8b758
1 parent d5de5a2
commit 2f8b758
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/pip-build-linux.yml b/.github/workflows/pip-build-linux.yml
@@ -7,7 +7,7 @@ jobs:
     name: build pip wheel
     runs-on: ubuntu-latest
     # cf. https://github.com/GUDHI/gudhi-deploy/blob/main/Dockerfile_for_pip
-    container: gudhi/pip_for_gudhi:devtoolset-10
+    container: gudhi/pip_for_gudhi:latest
     steps:
       - uses: actions/checkout@v3
         with:

diff --git a/.github/workflows/pip-packaging-linux.yml b/.github/workflows/pip-packaging-linux.yml
@@ -9,7 +9,7 @@ jobs:
     name: build pip wheel
     runs-on: ubuntu-latest
     # cf. https://github.com/GUDHI/gudhi-deploy/blob/main/Dockerfile_for_pip
-    container: gudhi/pip_for_gudhi:devtoolset-10
+    container: gudhi/pip_for_gudhi:latest
     steps:
       - uses: actions/checkout@v3
         with: