diff --git a/Jenkinsfile b/Jenkinsfile index bfb3294..15ddbc8 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -35,7 +35,7 @@ pipeline { sh """ docker run --rm -v "\$(pwd):/src" \ returntocorp/semgrep \ - semgrep scan --config=auto --debug \ + semgrep scan --config=p/ci --debug \ --sarif --output /src/semgrep.sarif \ /src/internal /src/cmd