Adding tests to Jenkins

This commit is contained in:
2025-06-08 11:28:42 +03:00
parent b964759f2b
commit 307ec6eba1
Vendored
+1 -1
View File
@@ -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}"
}
}
}