Extend permissions to upload security reports that we reuse for TLAi.

github/codeql#8843 (comment)
microsoft · Mar 26, 2024 · 4c92be7 · 4c92be7
1 parent eabe0fd
commit 4c92be7
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/tlaplus.yml b/.github/workflows/tlaplus.yml
@@ -9,7 +9,10 @@ on:
       - "tla/**"
   workflow_dispatch:
 
-permissions: read-all
+permissions:
+  actions: read
+  contents: read
+  security-events: write
 
 jobs:
   model-checking-consistency: