From 53d8143c1848334c9ef0acbb882d3aaf8038245e Mon Sep 17 00:00:00 2001
From: =?utf8?q?Oto=20=C5=A0=C5=A5=C3=A1va?= <oto.stava@nic.cz>
Date: Tue, 12 Sep 2023 14:27:09 +0200
Subject: [PATCH] .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`.
---
 .gitlab-ci.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d7f16cb04..f6b114042 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -822,11 +822,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
 
 # }}}
-- 
2.47.2