Merge pull request #14 from stephanlachnit/update-ci

Update CI

Author: stephanlachnit

.github/workflows/pages.yml

@@ -32,19 +32,19 @@ jobs:
         with:
           submodules: true
       - name: Setup Pages
-        uses: actions/configure-pages@v3
+        uses: actions/configure-pages@v5
       - name: Setup Python
-        uses: actions/setup-python@v4
+        uses: actions/setup-python@v5
         with:
-          python-version: '3.12'
+          python-version: '3.13'
       - name: Build Page
         run: |
           make html
           mv generated/paper.html generated/index.html
       - name: Upload Artifact
-        uses: actions/upload-pages-artifact@v2
+        uses: actions/upload-pages-artifact@v3
         with:
           path: 'generated'
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v2
+        uses: actions/deploy-pages@v4