Cosmetics

2 jobs for revision in 18 minutes and 3 seconds (queued for 1 second)
Status Name Job ID Coverage
  First
passed build_docker #1390107

00:04:04

 
  Second
passed test_serial #1390108

00:13:58