Skip to content
GitLab

[CI] Also test against Dune 2.7

Merged oliver.sander_at_tu-dresden.de requested to merge ci-test-with-dune-2.7 into master

Even for the master branch I'd like to know that this kinda works against the 2.7 release, because that is what people using packages have.

Merge request reports