From b4bbaf25c99ebac1969f7c1863e847ddcabe96a2 Mon Sep 17 00:00:00 2001 From: Bram Date: Wed, 25 Mar 2026 20:46:10 +0100 Subject: [PATCH] another update ah --- Jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index ede6f08..bfb3294 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -35,9 +35,9 @@ pipeline { sh """ docker run --rm -v "\$(pwd):/src" \ returntocorp/semgrep \ - semgrep scan --config=auto \ + semgrep scan --config=auto --debug \ --sarif --output /src/semgrep.sarif \ - /src/internal /src/cmd || true + /src/internal /src/cmd echo "After semgrep:" ls -la