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
failed build #4781


Name Stage Failure
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://' 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