From: Remi Gacogne Date: Mon, 29 Jan 2024 10:28:08 +0000 (+0100) Subject: ci: Exclude the fuzzing/corpus dir from the 'no binary files' check X-Git-Tag: dnsdist-1.9.0-rc1~1^2 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F13749%2Fhead;p=thirdparty%2Fpdns.git ci: Exclude the fuzzing/corpus dir from the 'no binary files' check --- diff --git a/.github/workflows/codeql-analysis.yml b/.github/workflows/codeql-analysis.yml index 38a0d87b5b..e7e328b270 100644 --- a/.github/workflows/codeql-analysis.yml +++ b/.github/workflows/codeql-analysis.yml @@ -276,4 +276,4 @@ jobs: uses: actions/checkout@v4 with: fetch-depth: 2 - - run: if [[ "$(file -i --dereference $(git diff --name-only HEAD^..HEAD) | 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')" != "" ]]; then exit 1; fi