From b3dcdf09bed270cb45a637be47425e8055806031 Mon Sep 17 00:00:00 2001
From: Bram <brammieverhulst@gmail.com>
Date: Wed, 25 Mar 2026 20:24:13 +0100
Subject: [PATCH] try to fix

---
 Jenkinsfile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 4b27479..ad8a0a3 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -37,7 +37,10 @@ pipeline {
             returntocorp/semgrep \
             semgrep scan --config=auto \
             --sarif --output /src/semgrep.sarif \
-            /src/internal /src/cmd || true
+            /src/internal /src/cmd
+
+          echo "After semgrep:"
+          ls -la
         """
       }
     }