From 7f661b7159d7a21f3a51db58bc77f438daa79ac3 Mon Sep 17 00:00:00 2001 From: retropikzel Date: Fri, 18 Apr 2025 12:05:53 +0300 Subject: [PATCH] Making the build work --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index ea13652..0fbe3ae 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -86,7 +86,7 @@ pipeline { steps { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { sh 'make && make install' - sh 'make test-r7rs' + sh 'make test-r6rs' } } }