Centralize CI config for 2.6 release (!30) · Merge requests · Core Modules / dune-grid-howto · GitLab

This is an archived project. Repository and other project resources are read-only.

Steffen Müthing requested to merge ci/centralize-config-2.6 into releases/2.6 Dec 06, 2018