diff --git a/Jenkinsfile b/Jenkinsfile index 8a9020e..0e9fe17 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -35,7 +35,7 @@ pipeline { sh """ docker run --rm -v "\$(pwd):/src" \ returntocorp/semgrep \ - semgrep scan --config=auto /src + semgrep scan --config=auto /src/cmd /src/internal """ } }