diff --git a/Jenkinsfile b/Jenkinsfile index 1423023..e5596c0 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -24,7 +24,7 @@ pipeline { steps { script { r6rs_implementations.each { implementation-> - stage("${implementation} ${test}") { + stage("${implementation}") { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { sh "make test-r6rs COMPILE_R7RS=${implementation}" }