update workflow permissions

jenschude · jenschude · commit 50a764107225 · 2025-06-13T11:56:58.000+02:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -11,6 +11,8 @@ on:
 
 name: CI
 
+permissions: {}
+
 jobs:
   coding-guidelines:
     name: Coding Guidelines
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -6,6 +6,8 @@ on:
     tags:
       - '[0-9]+.[0-9]+.[0-9]+*'
 
+permissions: {}
+
 jobs:
   update_ref:
     runs-on: ubuntu-latest
