Merge branch 'build' into 'master'

Build See merge request !4
1 job from master in 56 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Test
passed #509
compile_pdf

00:56