From 1fe45eaed13161f5990ba1c052b767a5a900339a Mon Sep 17 00:00:00 2001 From: Bram Date: Wed, 25 Mar 2026 19:00:28 +0100 Subject: [PATCH] Update Jenkins --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 """ } }