improvements

4 jobs for kernels in 13 minutes and 33 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build Docker
passed build_docker #1113450

00:00:17

 
  Testing
passed test_clang #1113452

00:12:22

passed test_gcc #1113451

00:13:00

 
  Build Tarballs
passed release #1113453

00:00:15