Mise à jour de 'Jenkinsfile'

2022-08-01 11:32:41 +02:00
parent eab77292e9
commit d6595862d4
1 changed files with 16 additions and 15 deletions
--- a/1
+++ b/1
@@ -8,6 +8,7 @@ remote.agent = false
 remote.logLevel = 'INFO'

 pipeline{
+  agent { node{ label'master' }}
  options {
    // Limit build history with buildDiscarder option:
    // daysToKeepStr: history is only kept up to this many days.