Corrections

1 job for master in 19 seconds (queued for 5 seconds)
Status Job ID Name Coverage
  Build
passed #313796
docker
beamer-build

00:00:19