Skip to content

Fix building docs in CI

Tammo Jan Dijkema requested to merge more_doc_ci_fix into master

In the previous fix, the docs were deployed on changes to the docs folder, but not built.

Merge request reports