diff --git a/Jenkinsfile b/Jenkinsfile index 48ba2a8..724c6bf 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -14,7 +14,7 @@ pipeline { } parameters { - string(name: 'LIBRARIES', defaultValue: 'cgi', description: '') + string(name: 'LIBRARIES', defaultValue: 'ctrf', description: '') } stages {