]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
CI: have binary check emit offenders 14837/head
authorPeter van Dijk <peter.van.dijk@powerdns.com>
Thu, 7 Nov 2024 15:37:25 +0000 (15:37 +0000)
committerPeter van Dijk <peter.van.dijk@powerdns.com>
Mon, 11 Nov 2024 12:03:32 +0000 (13:03 +0100)
.github/workflows/codeql-analysis.yml

index 35e2b0af24d0a2d2bee13a3eb4d9e6494f67ef9e..16abd8b30c6806ce3c057756e6aabe5e29d47e9e 100644 (file)
@@ -279,4 +279,4 @@ jobs:
       uses: actions/checkout@v4
       with:
         fetch-depth: 2
-    - run: if [[ "$(file -i --dereference $(git diff --name-only HEAD^..HEAD -- . :^fuzzing/corpus) | grep binary | grep -v 'image/' | grep -v 'inode/x-empty' | grep -v 'inode/directory')" != "" ]]; then exit 1; fi
+    - run: if [[ "$(file -i --dereference $(git diff --name-only HEAD^..HEAD -- . :^fuzzing/corpus) | grep binary | grep -v 'image/' | grep -v 'inode/x-empty' | grep -v 'inode/directory' | tee /dev/stderr)" != "" ]]; then exit 1; fi