From 71766b9b11698f314777d94004851156fc83f70c Mon Sep 17 00:00:00 2001 From: unknown Date: Fri, 3 Apr 2020 11:38:47 +0200 Subject: [PATCH] jenkinsfile --- Jenkinsfile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 821c511..51ea253 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -4,7 +4,9 @@ pipeline { stage('Stage 1') { steps { echo 'Hello world!' - checkout: 'https://git.wmi.amu.edu.pl/s421818/s421818-mlworkshops' + step { + checkout: 'https://git.wmi.amu.edu.pl/s421818/s421818-mlworkshops' + } } } }