diff --git a/Jenkinsfile b/Jenkinsfile index b35db74..bec6dcb 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -30,8 +30,15 @@ pipeline { script { implementations.each { implementation -> stage("Test ${implementation} primitives") { + agent { + dockerfile { + filename 'Dockerfile.test' + additionalBuildArgs "--build-arg COMPILE_R7RS=${implementation}" + args '--user=root' + } + } catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { - sh "make test-compile-r7rs-docker COMPILE_R7RS=${implementation} TESTNAME=primitives" + sh "make test-compile-r7rs COMPILE_R7RS=${implementation} TESTNAME=primitives" } } }