From b9c40596b3994512c3aa62f4568e94e62d49fb93 Mon Sep 17 00:00:00 2001 From: Bram Date: Wed, 25 Mar 2026 20:08:57 +0100 Subject: [PATCH] god i hate docker --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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