diff options
-rw-r--r-- | Jenkinsfile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index c3b84a5..0b4ec10 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,6 +1,10 @@ pipeline { agent any + options { + buildDiscarder(logRotator(numToKeepStr: '5')) + } + stages { stage('phpstan') { steps { |