From 130d14c086c7674ebf0ae26c18e3f85c289c45b5 Mon Sep 17 00:00:00 2001
From: Matteo Perotti <mperotti@iis.ee.ethz.ch>
Date: Mon, 13 Nov 2023 18:48:46 +0100
Subject: [PATCH] [ci] Don't check the patch directory for whitespace changes

---
 .github/workflows/ci.yml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c9fda5ee0..64b9d36cf 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -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  #