diff --git a/Jenkinsfile b/Jenkinsfile index 845f1a8..ab8baca 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 """ } }