From 910f43478daa42c8ad335fd06dea1fc71c9c496d Mon Sep 17 00:00:00 2001
From: redtide <redtid3@gmail.com>
Date: Tue, 20 Feb 2024 16:32:55 +0100
Subject: [PATCH] CI: clang-tidy on PR

---
 .github/workflows/build.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 69f1fdeb..e820494f 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -19,11 +19,13 @@ env:
 # defaults:
 # shell: pwsh on windows, bash all the rest
 # working-directory: ${{ github.workspace }}
+
 jobs:
   clang_tidy:
-    if: ${{ github.ref_type == 'branch' }}
     name: Clang Tidy
+    if: github.event_name == 'pull_request'
     runs-on: ubuntu-20.04
+    timeout-minutes: 10
     steps:
     - name: Checkout
       uses: actions/checkout@v3