add jenkins pipeline

2026-04-08 08:32:00 +01:00
1 changed files with 3 additions and 3 deletions
--- a/files/config/Jenkinsfile
+++ b/files/config/Jenkinsfile
@ -4,9 +4,9 @@ pipeline {
  environment {
    CARGO_TERM_COLOR = 'always'
-    MIN_LINES = '0'
+    MIN_LINES = '60'
-    MIN_FUNCTIONS = '0'
+    MIN_FUNCTIONS = '60'
-    MIN_REGIONS = '0'
+    MIN_REGIONS = '60'
  }
  stages {