chore(ci): Set privileges on workflows

benoit-garcia · benoit-garcia · commit b569309b227d · 2025-06-10T15:55:38.000+02:00
diff --git a/.github/workflows/pr.yaml b/.github/workflows/pr.yaml
@@ -12,6 +12,8 @@ name: Pull Request checks
       - synchronize
       - ready_for_review
 
+permissions: {}
+
 jobs:
   shell_check:
     name: "Shell: Syntax checks"
