Tidy

5 jobs from master in 6 minutes and 40 seconds (queued for 8 seconds)
Status Job ID Name Coverage
  Build
passed #4920
build_bionic

00:02:21

passed #4919
build_stretch

00:03:20

 
  Sign
passed #4921
sign

00:00:30

 
  Deploy
passed #4922
pages

00:00:28

passed pages:deploy

00:00:01