CI doesn't build docs in branches
In !424 (merged) a change broke the docs. The CI was green for the branch, and the error only detected in the 'website' job for the master branch.
We should trigger documentation build as part of the regular CI, so that we catch documentation regressions pre-merge.