update

4 jobs for master in 10 minutes and 27 seconds (queued for 2 minutes and 37 seconds)
Status Name Job ID Coverage
  Build
passed build_debug #514

00:02:28

passed build_opt #515

00:06:31

 
  Test
passed test_debug #516

00:01:07

passed test_opt #517

00:00:21