Publish internal docs with gitlab-pages
Depends upon Infrastructure/GitLab#56 (closed)
But after that we should be able to build and push the mdbook
on every commit using the CI.
Depends upon Infrastructure/GitLab#56 (closed)
But after that we should be able to build and push the mdbook
on every commit using the CI.