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