Summary
.github/workflows/docs.yml only builds and deploys the mdBook site on push to main. A PR that breaks the book build (e.g. a bad mermaid diagram, a broken {{#include}}) currently isn't caught until after merge.
Scope
Add a mdbook build docs step to .github/workflows/ci.yml (or a separate lightweight workflow) that runs on pull requests, without deploying anything, just to catch build failures before merge.
Proposed approach
Reuse the same mdBook + mdbook-mermaid install steps already in docs.yml, but scope the trigger to pull_request and drop the deploy job.
Summary
.github/workflows/docs.ymlonly builds and deploys the mdBook site on push tomain. A PR that breaks the book build (e.g. a bad mermaid diagram, a broken{{#include}}) currently isn't caught until after merge.Scope
Add a
mdbook build docsstep to.github/workflows/ci.yml(or a separate lightweight workflow) that runs on pull requests, without deploying anything, just to catch build failures before merge.Proposed approach
Reuse the same mdBook + mdbook-mermaid install steps already in
docs.yml, but scope the trigger topull_requestand drop the deploy job.