You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This PR adds a documentation build test workflow - the intent is to
catch PRs that cause the documentation to be unbuildable for some
reason.
Partly motivated by the fact that #513 broke the documentation build and
we didn't notice, but it's good to have this anyway.
Closes#552
We missed that #513 broke the documentation build. We should have a workflow that runs on each PR that checks that the doc build is still functional.
The text was updated successfully, but these errors were encountered: