Update docker images

jorgensd · jorgensd · commit d6e5260bf0a4 · 2022-03-18T08:18:41.000Z
diff --git a/.github/workflows/build-publish.yml b/.github/workflows/build-publish.yml
@@ -20,7 +20,7 @@ jobs:
   build:
     # The type of runner that the job will run on
     runs-on: ubuntu-latest
-    container: dokken92/dolfinx_custom:170322
+    container: dokken92/dolfinx_custom:17032022
 
     env:
       HDF5_MPI: "ON"
diff --git a/.github/workflows/docker-image.yml b/.github/workflows/docker-image.yml
@@ -37,4 +37,4 @@ jobs:
         run: echo ${{ secrets.DOCKERHUB_TOKEN }} | docker login -u ${{ secrets.DOCKERHUB_USERNAME }} --password-stdin
       - name: Push to the DockerHub registry
         run: |
-          docker push dokken92/dolfinx_custom:170322
+          docker push dokken92/dolfinx_custom:17032022
diff --git a/Dockerfile b/Dockerfile
@@ -1,4 +1,4 @@
-FROM dokken92/dolfinx_custom:170322
+FROM dokken92/dolfinx_custom:17032022
 
 # create user with a home directory
 ARG NB_USER

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-FROM dokken92/dolfinx_custom:170322`
	`1`	`+FROM dokken92/dolfinx_custom:17032022`
`2`	`2`
`3`	`3`	`# create user with a home directory`
`4`	`4`	`ARG NB_USER`