From d0cc5a880e23ab57f53b80a08a73cbf4814082bc Mon Sep 17 00:00:00 2001 From: Casper da Costa-Luis Date: Tue, 31 Oct 2023 09:45:50 +0000 Subject: [PATCH] ci: fix docker builds - fixes #842 --- docker/Dockerfile | 1 + 1 file changed, 1 insertion(+) diff --git a/docker/Dockerfile b/docker/Dockerfile index 30cb2518..8d94c9ca 100644 --- 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