Adding release builds
This commit is contained in:
parent
85b506bbd9
commit
f708942ae5
|
|
@ -29,29 +29,27 @@ pipeline {
|
||||||
|
|
||||||
stage('Test') {
|
stage('Test') {
|
||||||
when { not { branch 'release' } }
|
when { not { branch 'release' } }
|
||||||
parallel {
|
stage('R6RS') {
|
||||||
stage('R6RS') {
|
steps {
|
||||||
steps {
|
script {
|
||||||
script {
|
R7RS_SCHEMES.split().each { SCHEME ->
|
||||||
R7RS_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"
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
}
|
||||||
|
|
||||||
stage('R7RS') {
|
stage('R7RS') {
|
||||||
steps {
|
steps {
|
||||||
script {
|
script {
|
||||||
R7RS_SCHEMES.split().each { SCHEME ->
|
R7RS_SCHEMES.split().each { SCHEME ->
|
||||||
stage("${SCHEME} R7RS") {
|
stage("${SCHEME} R7RS") {
|
||||||
catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {
|
catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {
|
||||||
sh "make SCHEME=${SCHEME} test-r7rs-docker"
|
sh "make SCHEME=${SCHEME} test-r7rs-docker"
|
||||||
}
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue