chore: keeping the linters happy

kleros · Aug 22, 2023 · f588174 · f588174
1 parent 510528e
commit f588174
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
@@ -14,6 +14,9 @@ on:
   schedule:
     - cron: '26 1 * * 6'
 
+permissions:
+  actions: read
+
 jobs:
   codeql-advanced-analysis:
     name: Analyze