Update 'Jenkinsfile_create_dataset'

2023-04-18 21:28:27 +02:00 · 2023-04-18 21:28:27 +02:00 · b43a33cc23
commit b43a33cc23
parent 7158f73271
1 changed files with 3 additions and 1 deletions
--- a/4
+++ b/4
@ -1,5 +1,7 @@
 pipeline {
-   agent any
+   agent  { 
+    dockerfile true 
+}
   //Definijuemy parametry, które będzie można podać podczas wywoływania zadania
         parameters{
             string(