Merge branch 'fixup/existing-dumux-folder-ci' into 'master'

ci/avoid-dumux-name-clash

See merge request !158
1 job for !159 with temp/ci-test
latest merge request