Merge pull request #11 from AdnaneKhan/update/scopedown-token

tautschnig · web-flow · commit 20f68c27ba1c · 2025-12-10T11:30:03.000+01:00
ci: scope down GitHub Token permissions
diff --git a/.github/workflows/publish.yaml b/.github/workflows/publish.yaml
@@ -1,6 +1,10 @@
 name: Publish CBMC Proof Debugger documentation
 on: [push, pull_request]
 
+permissions:
+  contents: write
+  pages: write
+
 jobs:
   publish:
     runs-on: macos-latest
