From 6a1e434b5e16abbfff565e74f414738469c01b87 Mon Sep 17 00:00:00 2001 From: veenm Date: Tue, 4 Mar 2025 22:05:59 +0100 Subject: [PATCH] remove docker --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index b5c3805..f2e8430 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,6 +1,6 @@ pipeline { agent { - dockerfile true +// dockerfile true } tools {