Update Jenkinsfile

2024-03-26 23:02:02 +01:00 · 2024-03-26 23:02:02 +01:00 · 369777ee87
parent 8c9e0a8381
commit 369777ee87
1 changed files with 37 additions and 30 deletions
--- a/7
+++ b/7
@ -1,6 +1,13 @@
 pipeline {
    agent any

+      parameters {
+        string(
+			defaultValue: '10000',
+			name: 'CUTOFF',  
+			description: 'Liczba wierszy do obcięcia ze zbioru danych')
+    }
+
    stages {
        stage('Clone repository') {
            steps {