Build documentation with PasDoc and deploy to GitHub Pages #94
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Since our original discussion in #28, GitHub has added support (currently in beta) for deploying stuff to GitHub Pages from GitHub Actions. This PR adds a workflow that builds documentation using PasDoc and deploys it to GHPages.
One thing to consider: this introduces a new workflow, which is completely independent from the existing build/test workflow. As such, the docs will get build even if the build/test workflow fails. While it's not exactly straight-forward, it is possible to create inter-workflow dependencies in GHActions. The question is, then: do we want the docs workflow to require the build/test workflow to succeed in order to actually launch?