From cc3ed532d6dd841cc8703b6768136138b93e0212 Mon Sep 17 00:00:00 2001 From: retropikzel Date: Thu, 11 Dec 2025 17:33:55 +0200 Subject: [PATCH] Fix testing --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 1af04f1..139a28b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -28,7 +28,7 @@ pipeline { [(SCHEME): { stage("${SCHEME}") { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { - sh "make SCHEME=${SCHEME} test-r7rs-docker" + sh "make SCHEME=${SCHEME} test-r6rs-docker" } } }]