Commit f0577056 authored by Steffen Müthing's avatar Steffen Müthing

Make dune-pdelab-deps Dockerfiles parameterized on the base image

parent 3e7e0923
FROM registry.dune-project.org/docker/ci/dune:2.6
ARG BASE_IMAGE
FROM ${BASE_IMAGE}
ARG DUNECI_PARALLEL
USER duneci
......
FROM registry.dune-project.org/docker/ci/dune:git
ARG BASE_IMAGE
FROM ${BASE_IMAGE}
ARG DUNECI_PARALLEL
USER duneci
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment