Adding release builds
This commit is contained in:
parent
8d7cca4a1e
commit
2e6ca6c98e
|
|
@ -31,7 +31,7 @@ pipeline {
|
||||||
when { not { branch 'release' } }
|
when { not { branch 'release' } }
|
||||||
steps {
|
steps {
|
||||||
script {
|
script {
|
||||||
R7RS_SCHEMES.split().each { SCHEME ->
|
R6RS_SCHEMES.split().each { SCHEME ->
|
||||||
stage("${SCHEME} R6RS") {
|
stage("${SCHEME} R6RS") {
|
||||||
catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {
|
catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {
|
||||||
sh "make SCHEME=${SCHEME} test-r6rs-docker"
|
sh "make SCHEME=${SCHEME} test-r6rs-docker"
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue