ci: ditto

5 jobs for master in 5 minutes and 22 seconds (queued for 3 seconds)