Update permissions for documentation build job

emmanuelmathot · emmanuelmathot · commit 6faf2e6c24e2 · 2025-08-14T08:48:35.000+02:00
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -10,6 +10,9 @@ on:
 
 jobs:
   build-docs:
+    permissions:
+      contents: read
+      pages: write   
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v4
