fixup! fixup! fixup! Publish to GitHub Pages

stephanlachnit · Nov 28, 2023 · 2a11d2c · 2a11d2c
1 parent a22a0a1
commit 2a11d2c
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
@@ -35,8 +35,12 @@ jobs:
         uses: actions/configure-pages@v3
       - name: Setup Python
         uses: actions/setup-python@v4
+        with:
+          python-version: '3.12'
       - name: Build Page
-        run: make html
+        run: |
+          make html
+          mv generated/paper.html generated/index.html
       - name: Upload Artifact
         uses: actions/upload-pages-artifact@v2
         with: