diff --git a/Jenkinsfile b/Jenkinsfile index e0aa5d5..44aef7e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -20,12 +20,6 @@ pipeline { } stages { - stage('Docker image warmup') { - steps { - sh "docker build -f Dockerfile.test ." - } - } - stage('R6RS tests') { steps { script { @@ -35,7 +29,7 @@ pipeline { stage("${SCHEME}") { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { sh "rm -rf logs/*.json" - sh "timeout 600 make SCHEME=${SCHEME} LIBRARY=${LIBRARY} RNRS=r6rs run-test-docker" + sh "timeout 600 make SCHEME=${SCHEME} LIBRARY=${LIBRARY} RNRS=r6rs test-docker" archiveArtifacts(artifacts: "logs/${SCHEME}-${LIBRARY}.ctrf.json", allowEmptyArchive: false, fingerprint: true) } } @@ -54,7 +48,7 @@ pipeline { stage("${SCHEME}") { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { sh "rm -rf logs/*.json" - sh "timeout 600 make SCHEME=${SCHEME} LIBRARY=${LIBRARY} RNRS=r7rs run-test-docker" + sh "timeout 600 make SCHEME=${SCHEME} LIBRARY=${LIBRARY} RNRS=r7rs test-docker" archiveArtifacts(artifacts: "logs/${SCHEME}-${LIBRARY}.ctrf.json", allowEmptyArchive: false, fingerprint: true) } }