Remaking the Jenkinsfile
This commit is contained in:
parent
ad632272d0
commit
435eb3cb40
|
|
@ -8,7 +8,7 @@ pipeline {
|
|||
|
||||
stages {
|
||||
stage('Chibi primitives') {
|
||||
agent { dockerfile { filename 'Dockerfile.test', additionalBuildArgs '--build-arg COMPILE_R7RS=chibi' } }
|
||||
agent { dockerfile { filename 'Dockerfile.test'; additionalBuildArgs '--build-arg COMPILE_R7RS=chibi' } }
|
||||
steps { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { sh 'make test-compile-r7rs COMPILE_R7RS=chibi TESTNAME=primitives' } }
|
||||
}
|
||||
}
|
||||
|
|
|
|||
Loading…
Reference in New Issue