minor CI

2 jobs for master in 15 minutes and 59 seconds (queued for 19 minutes and 43 seconds)