.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.
Edited by Oto Šťáva
Self sign-up has been disabled due to increased spam activity. If you want to get access, please send an email to a project owner (preferred) or at gitlab(at)nic(dot)cz. We apologize for the inconvenience.
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.