Merge branch 'fix-deploy' into 'master'

Fix coverage-report deploy

See merge request !399

.gitlab-ci.yml

@@ -343,7 +343,7 @@ pages:
   image: i10git.cs.fau.de:5005/pycodegen/pycodegen/full
   # extends: .every-commit
   stage: deploy
-  needs: ["build-documentation"]
+  needs: ["tests-and-coverage", "build-documentation"]
   script:
     - ls -l
     - mv coverage_report html_doc