Fix badges

12 jobs for badges in 9 minutes and 15 seconds (queued for 2 seconds)