diff --git a/Jenkinsfile b/Jenkinsfile index 7bcc87f..bfc259e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -16,7 +16,7 @@ pipeline { def r6rs_implementations = sh(script: 'sash -L ./snow -L . compile-r7rs.scm --list-r6rs-schemes', returnStdout: true).split() r6rs_implementations.each { implementation-> - stage("${implementation}") { + stage("${implementation} R6RS") { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { sh "make test-r6rs-docker COMPILE_R7RS=${implementation}" } @@ -32,7 +32,7 @@ pipeline { def r7rs_implementations = sh(script: 'sash -L ./snow -L . compile-r7rs.scm --list-r7rs-schemes', returnStdout: true).split() r6rs_implementations.each { implementation-> - stage("${implementation}") { + stage("${implementation} R7RS") { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { sh "make test-r7rs-docker COMPILE_R7RS=${implementation}" }