Ignorer les fichiers dvi

1 job for intro in 17 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #416027
docker
beamer-build

00:00:17