Commit bd8ff39f authored by Ralf Jung's avatar Ralf Jung

update CI config

parent 2ef10f51
Pipeline #37248 passed with stage
in 43 minutes and 25 seconds