Correction issue #8

1 job for master in 20 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Build
passed #330428
docker
beamer-build

00:00:20