Skip to content

Commit

Permalink
[ci] Don't check the patch directory for whitespace changes
Browse files Browse the repository at this point in the history
  • Loading branch information
mp-17 committed Nov 28, 2023
1 parent 6b88de7 commit 130d14c
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -454,9 +454,10 @@ jobs:
# are mandatory there if they exist.
- name: Check for trailing whitespaces and tabs
run: |
git diff --check $base HEAD -- \
apps config hardware .github \
*.md Bender.* Makefile
bash -O extglob -c \
"git diff --check $base HEAD -- \
apps config .github *.md Bender.* \
Makefile hardware/!(patches)"
#####################
# Benchmark stage #
Expand Down

0 comments on commit 130d14c

Please sign in to comment.