update Jenkinsfile

2024-04-02 20:38:20 +02:00 · 2024-04-02 20:38:20 +02:00 · 7b5b1b7048
parent a50724ddc9
commit 7b5b1b7048
1 changed files with 3 additions and 1 deletions
--- a/4
+++ b/4
@ -1,5 +1,7 @@
 pipeline {
-    agent any
+    agent {
+        dockerfile true
+    }

      parameters {
        string(