Skip to content
Snippets Groups Projects
Commit 011bd019 authored by oliver.sander_at_tu-dresden.de's avatar oliver.sander_at_tu-dresden.de
Browse files

[CI] Also test against Dune 2.7

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.
parent 85132589
No related branches found
No related tags found
1 merge request!60[CI] Also test against Dune 2.7
Pipeline #36715 failed