Update .gitlab-ci.yml

3 jobs for master in 8 minutes and 59 seconds (queued for 7 seconds)
Status Job ID Name Coverage
  Doc
passed buildpdf #12198
docker manual

00:08:59

passed buildpdf #9634
docker manual

00:08:01

passed buildpdf #12197
docker manual

00:11:50