Improving testing
This commit is contained in:
parent
c55ac3c3f6
commit
3a1c0e8ab0
|
|
@ -33,7 +33,7 @@ pipeline {
|
||||||
def IMG="${SCHEME}:head"
|
def IMG="${SCHEME}:head"
|
||||||
stage("${SCHEME}") {
|
stage("${SCHEME}") {
|
||||||
catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {
|
catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {
|
||||||
sh "make SCHEME=${SCHEME} test-r6rs-docker"
|
sh "timeout 6000 make SCHEME=${SCHEME} test-r6rs-docker"
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
@ -50,7 +50,7 @@ pipeline {
|
||||||
}
|
}
|
||||||
stage("${SCHEME}") {
|
stage("${SCHEME}") {
|
||||||
catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {
|
catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {
|
||||||
sh "make SCHEME=${SCHEME} test-r7rs-docker"
|
sh "timeout 6000 make SCHEME=${SCHEME} test-r7rs-docker"
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue