Remaking the Jenkinsfile
This commit is contained in:
parent
2cff3c804e
commit
2e637d56ee
|
|
@ -10,7 +10,7 @@ pipeline {
|
|||
stage('Chibi primitives') {
|
||||
agent {
|
||||
dockerfile {
|
||||
filename 'dockerfiles/test'
|
||||
filename 'Dockerfile.test'
|
||||
additionalBuildArgs '--build-arg COMPILE_R7RS=chibi'
|
||||
}
|
||||
}
|
||||
|
|
|
|||
Loading…
Reference in New Issue