Commit 9e5b0739 authored by Dennis Gläser's avatar Dennis Gläser
Browse files

[ci] avoid pipeline fail if dumux folder exists

parent cc78c503
Pipeline #7062 failed with stage