.gitlab-ci: fix Pages publishing

This commit renames `docs:public` to `pages` as required by GitLab CI to
recognize Pages jobs correctly. It also adds the `public` directory into
`artifacts:paths`.

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 72df5c73f4becd4db8b188dfd9c44a33ec227aad..3e81a9cbca4272c5ed0750a4ca602f5a5e85a5f3 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -705,11 +705,14 @@ docs:release:
     url: https://$CI_PROJECT_NAMESPACE.pages.nic.cz/-/knot-resolver/-/jobs/$CI_JOB_ID/artifacts/doc/html/index.html
 
 # This job deploys the current docs as <https://knot.pages.nic.cz/knot-resolver>
-docs:public:
+pages:
   stage: deploy
   needs:
     - docs:build
   script: mv doc/html public
   when: manual
+  artifacts:
+    paths:
+      - public
 
 # }}}