Skip to content

gitlab-ci: build the documentation in CI.

Jehan requested to merge wip/Jehan/gitlab-ci into master

Full HTML build for English only so far. The full build for all languages takes more than one hour on GNOME Gitlab, hence gets canceled. I'll have to take a closer look later.

Merge request reports