Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add filter to doc build action for PRs
A path filter was applied to pushes, but none was applied to PRs, causing the GH action to build documentation to fire every time a PR is opened or updated. Resolves #1791
- Loading branch information