diff --git a/Jenkinsfile b/Jenkinsfile index 4766e39..b7361c9 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -19,6 +19,10 @@ pipeline { } stages { + stage('Docker image warmup') { + sh "docker build -f Dockerfile.test" + } + stage('R6RS') { steps { script {