diff --git a/Jenkinsfile b/Jenkinsfile index f06b422..ea13652 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -4,6 +4,11 @@ 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 {