Commit 46351425 authored by Alexander Jaust's avatar Alexander Jaust
Browse files

Merge branch 'fix-ci-to-use-dumux-master' into 'develop'

Fix ci to use dumux master

See merge request !13
parents ed16c372 7cdad94d
Pipeline #12425 failed with stages
in 11 minutes and 29 seconds