CI badges

3 jobs for CI in 3 minutes and 4 seconds (queued for 3 minutes and 29 seconds)