Minor tweaks to the CI pipeline

5 jobs for dev in 1 minute and 37 seconds (queued for 34 seconds)