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