Skip to content
GitLab
Explore
Sign in
Register
dumux-repositories
dumux
Issues
#1039
[ci] Test release branch
The question is how often?
Also for the release branch we should test a setup with OPM