Merge pull request #1205 from bilke/jenkins-rm-old-builds

[Jenkins] Discard old builds in pipeline jobs.

scripts/jenkins/clang.groovy

@@ -42,3 +42,5 @@ def build(buildDir, cmakeOptions, target) {
     stage 'Build'
     sh "cd ${buildDir} && make -j \$(nproc) ${target}"
 }
+
+properties ([[$class: 'BuildDiscarderProperty', strategy: [$class: 'LogRotator', artifactDaysToKeepStr: '', artifactNumToKeepStr: '5', daysToKeepStr: '', numToKeepStr: '25']]])

scripts/jenkins/coverage.groovy

@@ -26,3 +26,5 @@ def build(buildDir, cmakeOptions, target) {
     stage 'Build'
     sh "cd ${buildDir} && make -j \$(nproc) ${target}"
 }
+
+properties ([[$class: 'BuildDiscarderProperty', strategy: [$class: 'LogRotator', artifactDaysToKeepStr: '', artifactNumToKeepStr: '1', daysToKeepStr: '', numToKeepStr: '5']]])

scripts/jenkins/gcc.groovy

@@ -54,3 +54,5 @@ def publishTestReports(ctestPattern, gtestPattern, parseRulefile) {
     step([$class: 'GitHubCommitNotifier', resultOnFailure: 'FAILURE', statusMessage: [content: 'Finished Jenkins gcc build']])
 
 }
+
+properties ([[$class: 'BuildDiscarderProperty', strategy: [$class: 'LogRotator', artifactDaysToKeepStr: '', artifactNumToKeepStr: '5', daysToKeepStr: '', numToKeepStr: '25']]])