try to fix

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