The documentation should be built during pull requests so broken MkDocs configuration, missing navigation files, and documentation warnings are discovered before changes reach the main branch.
Documentation deployment must continue to happen only after changes are merged.
The documentation should be built during pull requests so broken MkDocs configuration, missing navigation files, and documentation warnings are discovered before changes reach the main branch.
Documentation deployment must continue to happen only after changes are merged.