From 613ce403e7b518e80f588c0432af891a02ff08d7 Mon Sep 17 00:00:00 2001
From: Martin Vogel <martin.vogel@datadice.io>
Date: Thu, 2 Apr 2026 22:51:11 +0200
Subject: [PATCH] Fix CI lint: use --ci flag to skip clang-tidy (enforced
 locally via pre-commit)

clang-tidy is platform-dependent and not installed in CI. The pre-commit
hook enforces clang-tidy locally. CI runs cppcheck + clang-format only.
---
 .github/workflows/_lint.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/_lint.yml b/.github/workflows/_lint.yml
index 3277b5ef0..edec9a876 100644
--- a/.github/workflows/_lint.yml
+++ b/.github/workflows/_lint.yml
@@ -41,8 +41,8 @@ jobs:
       - name: Add cppcheck to PATH
         run: echo "/opt/cppcheck/bin" >> "$GITHUB_PATH"
 
-      - name: Lint
-        run: scripts/lint.sh CLANG_FORMAT=clang-format-20
+      - name: Lint (cppcheck + clang-format, no clang-tidy — enforced locally)
+        run: scripts/lint.sh --ci CLANG_FORMAT=clang-format-20
 
   security-static:
     runs-on: ubuntu-latest