From 0db22933edadc1b2232385e23b3b15fbdea933fc Mon Sep 17 00:00:00 2001
From: Tim Fischer <fischeti@iis.ee.ethz.ch>
Date: Wed, 7 Aug 2024 10:13:24 +0200
Subject: [PATCH] ci: Try something else

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

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index aaed72762..d1cc222e5 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -72,6 +72,9 @@ jobs:
         working-directory: target/snitch_cluster
         run: |
           make rtl
+      - name: Check git safe directories
+        run: |
+          git config --global --get-all safe.directory
       - name: Diff porcelain
         uses: mmontes11/diff-porcelain@v0.0.1
         with: