diff options
Diffstat (limited to 'Jenkinsfile.docker')
| -rw-r--r-- | Jenkinsfile.docker | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Jenkinsfile.docker b/Jenkinsfile.docker index 5216ff2b..8f7ceb8e 100644 --- a/Jenkinsfile.docker +++ b/Jenkinsfile.docker @@ -26,6 +26,12 @@ pipeline { environment { GIT_BRANCH_NAME = getGitBranchName() } + options { + disableConcurrentBuilds() + timeout(time: 240, unit: 'MINUTES') + timestamps() + buildDiscarder(logRotator(numToKeepStr: '20')) + } stages { stage('Build containers') { when { |