Update 'Jenkinsfile_create_dataset'

2023-04-18 22:14:38 +02:00 · 2023-04-18 22:14:38 +02:00 · c90079b2d3
commit c90079b2d3
parent 77c6030bad
1 changed files with 2 additions and 1 deletions
--- a/3
+++ b/3
@ -52,10 +52,11 @@ pipeline {
         }
      }
      stage('Docker') {
-         agent {{ 
+         agent { 
            dockerfile {
               'filename' 'create.dockerfile'
               }
+         }
      steps {
               echo 'building docker'
         }