deploy gh pages

.github/workflows/export-notebooks.yml

@@ -19,19 +19,17 @@ on:
   # Allow manual trigger
   workflow_dispatch: {}
 
-permissions:
-  pull-requests: write
-  contents: write
-  pages: write
-  id-token: write
-
 env:
   UV_SYSTEM_PYTHON: 1
 
 jobs:
   export-notebooks:
     runs-on: ubuntu-latest
 
+    permissions:
+      pull-requests: write
+      contents: write
+
     steps:
       - uses: actions/checkout@v4
         with:
@@ -69,6 +67,14 @@ jobs:
           echo "Changed files:"
           git diff --name-only HEAD^ HEAD
 
+      - name: 📦 Setup Pages
+        uses: actions/configure-pages@v5
+
+      - name: 📦 Upload Pages Artifact
+        uses: actions/upload-pages-artifact@v1
+        with:
+          path: public
+
       - name: 🔄 Create Pull Request
         uses: peter-evans/create-pull-request@v7
         with:
@@ -91,20 +97,13 @@ jobs:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}
 
-    steps:
-      - name: 📥 Download artifact
-        uses: actions/download-artifact@v4
-        with:
-          name: github-pages
-
-      - name: 📦 Setup Pages
-        uses: actions/configure-pages@v4
-
-      - name: 🚀 Upload artifact
-        uses: actions/upload-pages-artifact@v3
-        with:
-          path: public
+    permissions:
+      pages: write
+      id-token: write
 
+    steps:
       - name: 🌐 Deploy to GitHub Pages
         id: deployment
         uses: actions/deploy-pages@v4
+        with:
+          artifact_name: github-pages