Merge branch 'simon.wimmer-master-patch-16198' into 'master'

Update .gitlab-ci.yml

See merge request !1
1 job for master in 5 seconds (queued for 1 second)
Status Name Job ID Coverage
  Build
failed build #4781

00:00:05

 
Name Stage Failure
failed
build Build
Host key verification failed.
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.
fatal: clone of 'ssh://git@gitlab.ce.jku.at:10022/simon.wimmer/pandoc_pdf_tool.git' into submodule path '/builds/peter.eder/pandoc/pandoc_pdf_tool' failed
Failed to clone 'pandoc_pdf_tool' a second time, aborting
Cleaning up file based variables
ERROR: Job failed: exit code 1