include badges on main page

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

00:01:12

 
  Test Gcc
passed job_test_gcc #2185

00:01:51

92.453%
 
  Build Gcc Nocheck
passed job_make_gcc_nocheck #2186

00:01:07

 
  Test Gcc Nocheck
passed job_test_gcc_nocheck #2187

00:00:16

 
  Build Python
passed job_build_python #2188

00:01:35

 
  Build Clang
passed job_make_clang #2189

00:01:55

 
  Test Clang
passed job_test_clang #2190

00:00:12