diff --git a/containers/debian/base.Dockerfile b/containers/debian/base.Dockerfile index 0eeb0b1a0b1af949b9b521ad48f1f668990eb8a9..72daa2408daa00fd166e483cffe620c099b93f0f 100644 --- a/containers/debian/base.Dockerfile +++ b/containers/debian/base.Dockerfile @@ -1,4 +1,5 @@ -#syntax=docker/dockerfile:1.4 +#syntax=docker/dockerfile:1.8 +#check ARG BASE_IMAGE="amd64/debian:stable-slim" ARG BUILD_IMAGE="debian_stable_base" diff --git a/containers/jug/dev.Dockerfile b/containers/jug/dev.Dockerfile index 3dc77bed62d818ea381a7fb9fb9862d8cea4b0ed..ee6c6e02c74813e4d5db4b8026cd37d2a8f949d1 100644 --- a/containers/jug/dev.Dockerfile +++ b/containers/jug/dev.Dockerfile @@ -1,4 +1,5 @@ -#syntax=docker/dockerfile:1.4 +#syntax=docker/dockerfile:1.8 +#check ARG DOCKER_REGISTRY="eicweb/" ARG BUILDER_IMAGE="debian_stable_base" ARG RUNTIME_IMAGE="debian_stable_base"