Pipelines · Merge branch 'fix/ci-upstream-branch' into 'master' (0864878e) · Commits · dumux-repositories / dumux-lecture

Commit 0864878e authored Aug 15, 2021 by

Timo Koch

[ci] check out source branch in upstream mrs

See merge request !162

Pipeline #7548 passed with stage