Fix broad permissions in the docs.yaml workflow

2026-08-14 09:20:49 +00:00 · 2026-07-14 15:52:19 +02:00
parent 1979fcca52
commit 47ddad6e90
1 changed files with 5 additions and 0 deletions
@@ -1,5 +1,8 @@
 name: Deploy the documentation

+permissions:
+  contents: read
+
 on:
  push:
    branches:
@@ -46,6 +49,8 @@ jobs:
 ################################################################################
  pages-docs:
    name: GitHub Pages
+    permissions:
+      contents: write
    runs-on: ubuntu-latest
    needs:
      - pre