Making the build work
This commit is contained in:
parent
f811a09b74
commit
dfcf19cbb8
|
@ -5,11 +5,6 @@ pipeline {
|
|||
buildDiscarder(logRotator(numToKeepStr: '10', artifactNumToKeepStr: '10'))
|
||||
}
|
||||
stages {
|
||||
stage("Clean docker cache") {
|
||||
steps {
|
||||
sh 'docker system prune -a -f'
|
||||
}
|
||||
}
|
||||
stage("Build") {
|
||||
agent { dockerfile { filename 'Dockerfile'; args '--user=root'; additionalBuildArgs '--build-arg COMPILE_R7RS=sagittarius' } }
|
||||
steps {
|
||||
|
|
Loading…
Reference in New Issue