ci: fix docker builds

- fixes #842
SyneRBI · Oct 31, 2023 · d0cc5a8 · d0cc5a8
1 parent 42ce8cb
commit d0cc5a8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docker/Dockerfile b/docker/Dockerfile
@@ -1,3 +1,4 @@
+# syntax=docker/dockerfile:1.4
 ARG BASE_IMAGE=ubuntu:22.04
 FROM ${BASE_IMAGE} as base