Merging #696 introduced an error to the documentation workflow, because I forgot to update the github workflow file.
Error is caused by the removal of the three python scripts that convert .md to .rst. The github workflow definition in #696 still looks for these scripts, but because they're removed, the workflow fails.
This PR updates the workflow definition by removing references to these (now unnecessary) scripts, and adds a new workflow that checks that documentation compiles without errors, such that future pull requests with errors in documentation will fail PR checks.
Merging #696 introduced an error to the documentation workflow, because I forgot to update the github workflow file.
Error is caused by the removal of the three python scripts that convert
.mdto.rst. The github workflow definition in #696 still looks for these scripts, but because they're removed, the workflow fails.This PR updates the workflow definition by removing references to these (now unnecessary) scripts, and adds a new workflow that checks that documentation compiles without errors, such that future pull requests with errors in documentation will fail PR checks.