diff --git a/Jenkinsfile b/Jenkinsfile index 305180f..55d4344 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -5,12 +5,7 @@ pipeline { } stages { stage("Build") { - agent { - docker { - image 'schemers/sagittarius' - args '--user=root' - } - } + agent { docker { image 'schemers/sagittarius' args '--user=root' } } steps { sh 'apt-get update && apt-get install -y make libuv1' sh 'make' @@ -20,8 +15,10 @@ pipeline { } } stage("Test chez r6rs") { + agent { docker { image 'schemers/chezscheme' args '--user=root' } } steps { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { + sh 'apt-get update && apt-get install -y make libuv1' sh 'make COMPILE_R7RS=chibi test-r6rs-docker' } }