diff --git a/Jenkinsfile b/Jenkinsfile index fd33534..d8f2a73 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -38,12 +38,10 @@ pipeline { script { env.LIBRARIES.split().each { LIBRARY -> stage("${LIBRARY}") { - parallel { - env.R6RS_SCHEMES.split().each { SCHEME -> - stage("${SCHEME}") { - catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { - sh "make SCHEME=${SCHEME} LIBRARY=${LIBRARY} RNRS=r6rs test-docker" - } + env.R6RS_SCHEMES.split().each { SCHEME -> + stage("${SCHEME}") { + catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { + sh "make SCHEME=${SCHEME} LIBRARY=${LIBRARY} RNRS=r6rs test-docker" } } } @@ -57,12 +55,10 @@ pipeline { script { env.LIBRARIES.split().each { LIBRARY -> stage("${LIBRARY}") { - parallel { - env.R7RS_SCHEMES.split().each { SCHEME -> - stage("${SCHEME}") { - catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { - sh "make SCHEME=${SCHEME} LIBRARY=${LIBRARY} RNRS=r7rs test-docker" - } + env.R7RS_SCHEMES.split().each { SCHEME -> + stage("${SCHEME}") { + catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { + sh "make SCHEME=${SCHEME} LIBRARY=${LIBRARY} RNRS=r7rs test-docker" } } }