Skip to content

Unify the docker image configurations with the core pipeline configurations

Simon Praetorius requested to merge issue/dune-git-configurations into master

Summary

The debian 10 and ubuntu 18.04 images are outdated for dune git versions and are removed with this MR. Additionally, the pdelab images are restricted to the default configuration.

Merge request reports