From b10116c97f2034a5daf944c906dc5edca57fbffb Mon Sep 17 00:00:00 2001
From: Micah Gale <mg@gale.engineer>
Date: Wed, 10 Jan 2024 09:40:59 -0600
Subject: [PATCH] Trying to deploy to pages now

---
 .github/workflows/main.yml | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index f97357c7..41e6978b 100644
--- a/.github/workflows/main.yml
+++ b/.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