Update 'Jenkinsfile'

This commit is contained in:
2022-04-20 04:27:17 +00:00
parent 55534b191d
commit d2385cdda0
Vendored
+1 -1
View File
@@ -1,5 +1,5 @@
pipeline {
agent { label 'linux' }
agent any
options {
buildDiscarder(logRotator(numToKeepStr: '5'))
}