Maybe fix CI

2 jobs for master in 1 minute and 16 seconds (queued for 2 seconds)