Make CI happy

2 jobs for master in 41 minutes and 32 seconds (queued for 29 minutes and 57 seconds)