apparently there is an issue with github.event_name push

Signed-off-by: Martijn Govers <[email protected]>

Author: mgovers

.github/workflows/clang-tidy.yml

@@ -62,7 +62,7 @@ jobs:
           brew install boost eigen nlohmann-json doctest
 
       - name: Set build target in case of push
-        if: github.event_name == 'push'
+        if: github.event_name != 'workflow_dispatch'
         run: |
           echo "TARGET=power_grid_model_c" >> $GITHUB_ENV