Merge branch 'jetty-10.0.x' into jetty-11.0.x

This commit is contained in:
Olivier Lamy 2022-10-29 10:24:04 +10:00
commit 0a666ac2a2
No known key found for this signature in database
GPG Key ID: 873A8E86B4372146
1 changed files with 1 additions and 0 deletions

1
Jenkinsfile vendored
View File

@ -6,6 +6,7 @@ pipeline {
options {
skipDefaultCheckout()
durabilityHint('PERFORMANCE_OPTIMIZED')
buildDiscarder logRotator( numToKeepStr: '60' )
}
stages {
stage("Parallel Stage") {