chore(deps): update docker/dockerfile docker tag to v1.20 (#10)

renovate[bot] · web-flow · commit 109863853ae7 · 2025-11-21T14:16:17.000+01:00
Co-authored-by: renovate[bot] &lt;29139614+renovate[bot]@users.noreply.github.com&gt;
diff --git a/Dockerfile b/Dockerfile
@@ -1,4 +1,4 @@
-# syntax=docker/dockerfile:1.19-labs
+# syntax=docker/dockerfile:1.20-labs
 
 # The ARCH can be overridden by providing it a value in the command line
 # with the "--build-arg=XXX" argument fed to 'docker build'.
diff --git a/devel-containers/Dockerfile.devimg b/devel-containers/Dockerfile.devimg
@@ -1,4 +1,4 @@
-# syntax=docker/dockerfile:1.19-labs
+# syntax=docker/dockerfile:1.20-labs
 
 # The ARCH can be overridden by providing it a value in the command line
 # with the "--build-arg=XXX" argument fed to 'docker build'.

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-# syntax=docker/dockerfile:1.19-labs`
	`1`	`+# syntax=docker/dockerfile:1.20-labs`
`2`	`2`
`3`	`3`	`# The ARCH can be overridden by providing it a value in the command line`
`4`	`4`	`# with the "--build-arg=XXX" argument fed to 'docker build'.`