Switch to test-r7rs

2026-03-26 09:07:33 +02:00
parent 7570aeab0f
commit cf5c702387
1 changed files with 2 additions and 8 deletions
@@ -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 ->