Merge branch 'feature/ci-test-dune-2.8' into 'master'

[ci] Test against dune 2.8 instead of 2.7

See merge request !169
1 job for master