Commit dcb6cce0 by Ralf Jung

update CI, submit timing

parent b5dcac80
Pipeline #7610 passed with stage
in 21 minutes 19 seconds