Commit 848ada6a authored by Christian Engwer's avatar Christian Engwer

Merge branch 'ci-with-checking' into 'master'

[ci] add configuration with DUNE_ISTL_WITH_CHECKING

Closes #72

See merge request !403
parents f62db4a3 8e2e8d5f
Pipeline #30111 passed with stage
in 27 minutes and 20 seconds