3 ms·

Now it’s just running that jenkins pipeline, which takes 40 minutes and requires a manual confirmation in the middle .