Typo shopt

2 jobs for master in 1 minute and 9 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #418056
docker
beamer-build

00:00:30

 
  Deploy
passed #418057
linux
synchronize

00:00:39