Remaking the Jenkinsfile
This commit is contained in:
parent
cfd6e052fc
commit
3b65f84d0f
|
|
@ -9,7 +9,7 @@ pipeline {
|
||||||
stages {
|
stages {
|
||||||
stage('Chibi primitives') {
|
stage('Chibi primitives') {
|
||||||
agent {
|
agent {
|
||||||
docker {
|
dockerfile {
|
||||||
filename 'Dockerfile.test'
|
filename 'Dockerfile.test'
|
||||||
additionalBuildArgs '--build-arg COMPILE_R7RS=chibi'
|
additionalBuildArgs '--build-arg COMPILE_R7RS=chibi'
|
||||||
}
|
}
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue