Change tag on release branch

jorgensd · jorgensd · commit 6cd86be32c2a · 2025-10-05T16:08:15.000+02:00
diff --git a/Dockerfile b/Dockerfile
@@ -1,4 +1,4 @@
-FROM ghcr.io/jorgensd/dolfinx-tutorial:release
+FROM ghcr.io/jorgensd/dolfinx-tutorial:0.9.1
 
 # create user with a home directory
 ARG NB_USER=jovyan

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-FROM ghcr.io/jorgensd/dolfinx-tutorial:release`
	`1`	`+FROM ghcr.io/jorgensd/dolfinx-tutorial:0.9.1`
`2`	`2`
`3`	`3`	`# create user with a home directory`
`4`	`4`	`ARG NB_USER=jovyan`