Commit 58d1873e authored by Ralf Jung's avatar Ralf Jung

update CI config

parent f8e59635
Pipeline #37249 passed with stage
in 59 minutes and 40 seconds