Closed mdickinson closed 9 months ago
This PR adds a GitHub Actions workflow to build the documentation on each PR event.
This PR adds a GitHub Actions workflow to build the documentation on each PR event.