Commit bde6103e by Ralf Jung

update CI

parent ad5ba33e
Pipeline #7730 passed with stage
in 10 minutes 55 seconds