Fix checking

12 jobs for minimization_sanity in 13 minutes and 38 seconds (queued for 1 second)