Commit 5fad4472 authored by Claus-Justus Heine's avatar Claus-Justus Heine

[!269] Feature/ci

Merge branch 'feature/CI' into 'master'

Sync to master.

I do not delete the feature-branch as this is a never-ending story. Please
feel free to try out any CI thingies using this branch as a "playground".

See merge request [!269]

  [!269]: gitlab.dune-project.org/dune-fem/dune-fem/merge_requests/269
parents 22fbc7aa 588caeb7
Pipeline #10861 passed with stage
in 80 minutes and 11 seconds