diff --git a/Jenkinsfile b/Jenkinsfile index 13bd3a7..9c9dc99 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -19,8 +19,8 @@ pipeline { steps { script { implementations.each { implementation -> - stage("Testing to ${implementation}") { - echo "Testing" + stage("${implementation} primitives") { + echo "make test-compile-r7rs-docker COMPILE_R7RS=${implementation} TESTNAME=primitives" } } }