diff --git a/Jenkinsfile b/Jenkinsfile index 2aa25c1..dd71375 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -90,7 +90,7 @@ pipeline { steps { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { sh 'make && make install' - sh 'make test-r7rs' + sh 'make test-r6rs' } } }