Make happy CI

2 jobs for master in 10 minutes and 48 seconds (queued for 42 minutes and 52 seconds)