diff --git a/Jenkinsfile b/Jenkinsfile index ab8baca..4b27479 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -106,7 +106,7 @@ pipeline { sh 'docker logout ${REGISTRY} || true' sh 'docker image rm -f ${IMAGE}:${IMAGE_TAG_SHA} || true' sh 'docker image prune -f || true' - sh 'rm -f semgrep.sarif || true' +// sh 'rm -f semgrep.sarif || true' } } } \ No newline at end of file