Add CI config

1 job for master in 1 minute and 40 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Build
passed build_pdf #603

00:01:40