From dae1e580c088ba70b33ec34db5cd0e14eb252de6 Mon Sep 17 00:00:00 2001 From: unknown Date: Fri, 3 Apr 2020 11:37:33 +0200 Subject: [PATCH] jenkinsfile --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 0a0c8d2..821c511 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -4,7 +4,7 @@ pipeline { stage('Stage 1') { steps { echo 'Hello world!' - checkout: https://git.wmi.amu.edu.pl/s421818/s421818-mlworkshops + checkout: 'https://git.wmi.amu.edu.pl/s421818/s421818-mlworkshops' } } }