Update 'Jenkinsfile_create_dataset'

2023-04-18 22:32:14 +02:00 · 2023-04-18 22:32:14 +02:00 · 8d7d055d04
commit 8d7d055d04
parent c5378b092a
1 changed files with 10 additions and 1 deletions
--- a/11
+++ b/11
@ -50,7 +50,16 @@ pipeline {
         }
         }
      }
-
+    stage('Docker') {
+         agent { 
+            dockerfile {
+               'filename' 'create.dockerfile'
+               }
+         }
+      steps {
+               echo 'building docker'
+         }
+      }


     stage('Goodbye!') {