Mise à jour de 'Jenkinsfile'

Jenkinsfile

@@ -1,4 +1,22 @@
 pipeline{
+   options {
+      // Limit build history with buildDiscarder option:
+      // daysToKeepStr: history is only kept up to this many days.
+      // numToKeepStr: only this many build logs are kept.
+      // artifactDaysToKeepStr: artifacts are only kept up to this many days.
+      // artifactNumToKeepStr: only this many builds have their artifacts kept.
+      buildDiscarder(logRotator(numToKeepStr: "1"))
+      // Enable timestamps in build log console
+      timestamps()
+      // Maximum time to run the whole pipeline before canceling it
+      timeout(time: &, unit: 'HOURS')
+      // Use Jenkins ANSI Color Plugin for log console
+      ansiColor('xterm')
+      // Limit build concurrency to 1 per branch
+      disableConcurrentBuilds()
+  }
+  stages
+  {
     def remote = [:]
     remote.name = 'workstation'
     remote.host = 'workstation'
@@ -24,3 +42,4 @@ pipeline{
       sshCommand remote: remote, command: "for i in {1..5}; do echo -n \"Loop \$i \"; date ; sleep 1; done"
     }
   }
+}