Merge remote-tracking branch 'origin/master' into 1.18-porting

Vazkii · Vazkii · commit 1aa6a0270aba · 2021-12-14T18:33:55.000Z
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,6 +1,9 @@
 #!/usr/bin/env groovy
 
 pipeline {
+    options {
+        buildDiscarder(logRotator(numToKeepStr: '10'))
+    }
     agent any
     tools {
         jdk "jdk-17.0.1"
