fix CI

cedi · cedi · commit daefa617938f · 2025-03-22T17:32:59.000+01:00
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -1,11 +1,15 @@
-name: deploy
+name: Publish Website
 
 on:
   # Deployment is triggered whenever a push is made to the main branch.
   push:
     branches: [main]
   workflow_dispatch:
 
+permissions:
+  id-token: write
+  pages: write
+
 jobs:
   docs:
     runs-on: ubuntu-latest
