From cf5c702387afcace8780647b7c1b78e10ea21590 Mon Sep 17 00:00:00 2001
From: retropikzel <retropikzel@iki.fi>
Date: Thu, 26 Mar 2026 09:07:33 +0200
Subject: [PATCH] Switch to test-r7rs

---
 Jenkinsfile | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index d604eb6..8ad1543 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -19,13 +19,7 @@ pipeline {
     }
 
     stages {
-        stage('Docker image warmup') {
-            steps {
-                sh "docker build -f Dockerfile.test ."
-            }
-        }
-
-        stage('R6RS') {
+        stage('Test R6RS Debian') {
             steps {
                 script {
                     params.LIBRARIES.split().each { LIBRARY ->
@@ -40,7 +34,7 @@ pipeline {
                 }
             }
         }
-        stage('R7RS') {
+        stage('Test R7RS Debian') {
             steps {
                 script {
                     params.LIBRARIES.split().each { LIBRARY ->