From 4a6930bf488f7d990693f76f513b55ca9cb56afc Mon Sep 17 00:00:00 2001 From: JackCarterSmith Date: Tue, 6 Nov 2018 13:54:32 +0100 Subject: [PATCH] Added Jenkinsfile --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 357d237..b912232 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,7 +1,7 @@ pipeline { agent { node { - label 'maître' + label 'main' } }