tiny cleanup

3 jobs for master in 25 minutes and 57 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Build
passed #934171
large
build

00:09:59

 
  Publish
passed #945650
large
docker

00:15:57

failed #934172
large
docker

00:02:00