Options in Jenkinsfile

jenkins/crunchyRSS

@@ -1,6 +1,13 @@
 pipeline {
     agent any
     
+    options {
+        timeout(time: 15, unit: 'MINUTES')
+        timestamps()
+        buildDiscarder(logRotator(numToKeepStr: '10'))
+        disableConcurrentBuilds()
+    }
+    
     triggers {
         // 'H' balances the load on Jenkins, running roughly every 30 minutes
         cron('H/30 * * * *')