Host Ketos docs on GitLab-pages
Adding something along the lines of this to our gitlab-ci file should allow us to host Ketos docs on GitLab-pages:
pages:
image: "${CI_REGISTRY_IMAGE}:latest"
stage: deploy
script:
- cd docs/ && ./compile_docs.sh && cd ..
- mkdir .public
- cp -r docs/build/html/* .public/
- mv .public public
artifacts:
paths:
- public
only:
- main