Fix coverage badge

10 jobs for coverage in 104 minutes (queued for 1 second)