Add GitHub Actions workflow for deployment

Author: alexlib

.github/workflows/deploy.yml

@@ -0,0 +1,33 @@
+jobs:
+    build:
+        runs-on: ubuntu-latest
+
+        steps:
+            # ... checkout and install dependencies
+
+            - name: 📄 Export notebook
+              run: |
+                  marimo export html-wasm notebook.py -o path/to/output --mode run
+
+            - name: 📦 Upload Pages Artifact
+              uses: actions/upload-pages-artifact@v3
+              with:
+                  path: path/to/output
+
+    deploy:
+        needs: build
+        runs-on: ubuntu-latest
+        environment:
+            name: github-pages
+            url: ${{ steps.deployment.outputs.page_url }}
+
+        permissions:
+            pages: write
+            id-token: write
+
+        steps:
+            - name: 🌐 Deploy to GitHub Pages
+              id: deployment
+              uses: actions/deploy-pages@v4
+              with:
+                  artifact_name: github-pages