Trying to deploy to pages now

.github/workflows/main.yml

@@ -58,6 +58,28 @@ jobs:
  with:
  name: coverage
  path: coverage.xml
+
+ deploy-pages:
+ needs: [build, test]
+
+ permissions:
+ pages: write # to deploy to Pages
+ id-token: write # to verify the deployment originates from an appropriate source
+
+ environment:
+ name: github-pages
+ url: ${{ steps.deployment.outputs.page_url }}
+ runs-on: ubuntu-latest
+ steps:
+ - uses: actions/checkout@v4
+ - uses: actions/setup-python@v4
+ with:
+ python-version: 3.8
+ - run: pip install --user montepy[doc]
+ - run: cd doc && make html
+ - uses: actions/deploy-pages@v4
+ with: 
+ path: doc/build/html