include badges on main page

7 jobs for development in 8 minutes and 11 seconds (queued for 1 minute and 1 second)
Status Job ID Name Coverage
  Build Gcc
passed #2184
job_make_gcc

00:01:12

 
  Test Gcc
passed #2185
job_test_gcc

00:01:51

92.453%
 
  Build Gcc Nocheck
passed #2186
job_make_gcc_nocheck

00:01:07

 
  Test Gcc Nocheck
passed #2187
job_test_gcc_nocheck

00:00:16

 
  Build Python
passed #2188
job_build_python

00:01:35

 
  Build Clang
passed #2189
job_make_clang

00:01:55

 
  Test Clang
passed #2190
job_test_clang

00:00:12