diff --git a/Jenkinsfile b/Jenkinsfile index 1495d80..eccbd5a 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -30,6 +30,11 @@ pipeline { sh "COMPILE_R7RS=${SCHEME} test-r7rs test.scm" } } + stage("${SCHEME} logs") { + catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { + sh "cat .test-r7rs/${SCHEME}/logs/*.log" + } + } } } }