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
         """
       }
     }