Commit 451a17b1 by Ralf Jung

update CI

parent fa4ecc4f
Pipeline #10097 passed with stage
in 15 minutes 13 seconds