This small PR updates teh GitHub Actions workflow trigger conditions to run when chnages to the docs are made or changes to the GitHub Actions workflow. We also run the job that builds the docs on PR to test that the documentation will successfully build.
In conjunction, we manually set the repo's setting so the GitHub Pages source is GitHub Actions (instead of "classic").
This small PR updates teh GitHub Actions workflow trigger conditions to run when chnages to the docs are made or changes to the GitHub Actions workflow. We also run the job that builds the docs on PR to test that the documentation will successfully build.
In conjunction, we manually set the repo's setting so the GitHub Pages source is GitHub Actions (instead of "classic").