Add images for PDELab-based modules (!15) · Merge requests · docker / CI Images · GitLab

Steffen Müthing requested to merge feature/add-pdelab-images into master Jun 30, 2018

Introduce a new build stage "module dependencies" for images that contain everything needed to build a specific module
Move dune-pdelab-deps-* to module dependencies stage
Add new images dune-pdelab-{2.6,git} containing PDELab and dune-testtools