Maybe fix CI

2 jobs for master in 24 seconds (queued for 47 seconds)