diff --git a/Jenkinsfile b/Jenkinsfile index 8e0e8d2..a03571c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -15,7 +15,7 @@ pipeline { parameters { string(name: 'R7RS_SCHEMES', defaultValue: 'chibi chicken gauche guile kawa mosh racket sagittarius stklos ypsilon', description: '') string(name: 'R6RS_SCHEMES', defaultValue: 'chezscheme guile ikarus ironscheme mosh racket sagittarius ypsilon', description: '') - string(name: 'SRFIS', defaultValue: '170', description: '') + string(name: 'SRFIS', defaultValue: '160 170', description: '') } stages {