Commit 6bb2f803 by Ralf Jung

update CI

parent 0cd25a7c
Pipeline #10091 passed with stage
in 24 minutes 30 seconds