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' } }