diff options
Diffstat (limited to 'Jenkinsfile.docker')
| -rw-r--r-- | Jenkinsfile.docker | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/Jenkinsfile.docker b/Jenkinsfile.docker index 6a4b6d4c..7f8abe14 100644 --- a/Jenkinsfile.docker +++ b/Jenkinsfile.docker @@ -23,6 +23,12 @@ setDescription() pipeline { agent none + options { + disableConcurrentBuilds() + timeout(time: 240, unit: 'MINUTES') + timestamps() + buildDiscarder(logRotator(numToKeepStr: '20')) + } stages { stage('Build containers') { when { @@ -32,7 +38,7 @@ pipeline { // once a night triggered by the timer. anyOf { changeset pattern: "**/docker/*" - changeset pattern: "**/Jenkinsfile.docker" + changeset pattern: "**/Jenkinsfile.docker" triggeredBy cause: "UserIdCause" } } |