CI minor change

4 jobs for master in 2 minutes and 43 seconds (queued for 4 seconds)