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