From 307ec6eba1f19c7a191b1e009b758d30cd157cdb Mon Sep 17 00:00:00 2001 From: retropikzel Date: Sun, 8 Jun 2025 11:28:42 +0300 Subject: [PATCH] Adding tests to Jenkins --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 3e5e474..3325831 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -19,7 +19,7 @@ pipeline { r6rs_implementations.each { implementation-> stage("${implementation}") { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { - sh "make test-r6rs COMPILE_R7RS=${implementation}" + sh "make test-r6rs-docker COMPILE_R7RS=${implementation}" } } }