fixed formatting

12 jobs for master in 10 minutes and 45 seconds (queued for 1 second)
Status Name Job ID Coverage
  Clean
passed do-nightly-clean-centos75 #35627
centos75

00:00:02

passed do-nightly-clean-ubuntu16 #35626
ubuntu16

00:00:01

passed do-nightly-clean-ubuntu18 #35625
ubuntu18

00:00:01

 
  Build
passed do-build-centos75 #35630
centos75

00:04:02

passed do-build-ubuntu16 #35629
ubuntu16

00:04:24

passed do-build-ubuntu18 #35628
ubuntu18

00:04:57

 
  Test
passed basic-pgms-killdeads-centos75 #35636
centos75

00:03:20

passed basic-pgms-killdeads-ubuntu16 #35635
ubuntu16

00:02:39

passed basic-pgms-killdeads-ubuntu18 #35634
ubuntu18

00:02:30

passed eh-tests-centos75 #35633
centos75

00:02:23

passed eh-tests-ubuntu16 #35632
ubuntu16

00:02:36

passed eh-tests-ubuntu18 #35631
ubuntu18

00:03:09