ci: Fix bug where dune-env-update used the wrong base image

4ee0fea0 · Lukas Riedel · e0cc3578 · 4ee0fea0
Commit 4ee0fea0 authored Jun 05, 2018 by Lukas Riedel
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

dockerfiles/dune-env-update dockerfiles/dune-env-update +1 -1

No files found.
--- a/dockerfiles/dune-env-update
+++ b/dockerfiles/dune-env-update
-FROM ubuntu:bionic
+FROM dorie/dune-env:2.5.1
 LABEL maintainer="lriedel@iup.uni-heidelberg.de"
 # number of cores for parallel builds
 ARG PROCNUM=1