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