github: restrict CI permissions

LearnLib · Dec 24, 2024 · 985830d · 985830d
1 parent c5e85c4
commit 985830d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,4 +1,5 @@
 name: CI
+permissions: read-all
 
 on: [ push, pull_request ]