tidy (#1561)

5 jobs for master in 7 minutes and 28 seconds (queued for 7 seconds)
Status Job ID Name Coverage
  Build
passed #9055
build_bionic

00:03:14

passed #9054
build_stretch

00:03:19

 
  Sign
passed #9056
sign

00:00:27

 
  Deploy
passed #9057
pages

00:00:27

passed pages:deploy

00:00:01