From d37df1dc2aa4899d119a3acd43d4ce15f5224116 Mon Sep 17 00:00:00 2001
From: Bircck <55695195+Bircck@users.noreply.github.com>
Date: Wed, 16 Sep 2026 11:16:15 +0200
Subject: [PATCH] chore(ci): pin GITHUB_TOKEN to contents:read in the CI
 workflow

CodeQL's actions/missing-workflow-permissions rule flags every job that
leaves GITHUB_TOKEN at the repository default, so the CI workflow's two
jobs produce an alert on main and a github-advanced-security review
comment on any PR that touches the file.

Both jobs only check out, build and test; neither pushes, comments or
calls the API. A workflow-level contents:read covers them and closes the
alert at its source.
---
 .github/workflows/ci-pipeline.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/ci-pipeline.yml b/.github/workflows/ci-pipeline.yml
index 7bfa2d3..d0ad4de 100644
--- a/.github/workflows/ci-pipeline.yml
+++ b/.github/workflows/ci-pipeline.yml
@@ -6,6 +6,12 @@ on:
   pull_request:
     branches: [ "main" ]
 
+# Both jobs only build and test the checked-out code; neither writes back to
+# the repo or calls the API. Without this, GITHUB_TOKEN falls back to the
+# repository default, which is broader than anything here needs.
+permissions:
+  contents: read
+
 jobs:
   generator:
     runs-on: ubuntu-latest