]> git.ipfire.org Git - thirdparty/zlib-ng.git/commitdiff
Make lint check ignore *.patch files, as those can legally have trailing
authorHans Kristian Rosbach <hk-git@circlestorm.org>
Wed, 15 May 2024 11:38:26 +0000 (13:38 +0200)
committerHans Kristian Rosbach <hk-github@circlestorm.org>
Fri, 17 May 2024 13:21:05 +0000 (15:21 +0200)
whitespace or end the file with blank lines.

.github/workflows/lint.yml

index afea46a17a10a8a8487a9ced9bc0f984fad8cdc3..ecfd64717f7c6c05596a689e50267ef332322f8b 100644 (file)
@@ -14,4 +14,4 @@ jobs:
     - name: Whitespace errors
       run: |
         git config core.whitespace blank-at-eol
-        git diff --color --check ${{ github.event.pull_request.base.sha }}
+        git diff --color --check ${{ github.event.pull_request.base.sha }} -- './*' ':!*.patch'