Commit 839a5b42 authored by Christian Rohlfing's avatar Christian Rohlfing

bugfix in CI

parent 61559508
Pipeline #336978 passed with stages
in 1 minute and 34 seconds