Merge pull request #15278 from pcafrica/docker_workflow

Use dealii-dependencies Docker for GitHub workflow
dealii · May 28, 2023 · 3c41563 · 3c41563
2 parents d0b4bc2 + 1be2410
commit 3c41563
Showing 1 changed file with 2 additions and 16 deletions.
diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
@@ -65,23 +65,9 @@ jobs:
 
     name: linux debug parallel simplex
     runs-on: [ubuntu-22.04]
+    container:
+      image: dealii/dependencies:jammy
 
-    steps:
-    - uses: actions/checkout@v3
-    - name: modules
-      run: |
-        sudo apt-get install -y software-properties-common
-        sudo add-apt-repository -y ppa:ginggs/deal.ii-9.4.0-backports
-        sudo apt-get update
-        sudo apt-get install -yq --no-install-recommends \
-            numdiff \
-            libboost-all-dev \
-            libcgal-dev \
-            libp4est-dev \
-            trilinos-all-dev \
-            petsc-dev \
-            libmetis-dev \
-            libhdf5-mpi-dev
     - name: info
       run: |
         mpicc -v