Switch to centralized CI configuration (!584) · Merge requests · Core Modules / dune-common

Merged Steffen Müthing requested to merge ci/centralize-config into master 6 years ago

The special vectorization test run stays in the local configuration, as it is specific to
dune-common.

a1442f18

Switch to centralized CI configuration