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