From 174b51b2364f179b19efba0b5e9c389573995cca Mon Sep 17 00:00:00 2001
From: Tim Fischer <fischeti@iis.ee.ethz.ch>
Date: Tue, 6 Aug 2024 17:04:26 +0200
Subject: [PATCH] ci: Don't use porcelain action

---
 .github/workflows/lint.yml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index 803c6f73f..c70224758 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -73,9 +73,8 @@ jobs:
         run: |
           make rtl
       - name: Diff porcelain
-        uses: mmontes11/diff-porcelain@v0.0.1
-        with:
-          message: Found differences, please update all sources
+        run: |
+          git status && test -z "$(git status --porcelain)"
 
   #################
   # Check License #