diff --git a/Jenkinsfile b/Jenkinsfile
index eccbd5a..454e6ac 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -32,6 +32,8 @@ pipeline {
                         }
                         stage("${SCHEME} logs") {
                             catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {
+                                sh "cat .test-r7rs/tmp/*"
+                                sh "cat .test-r7rs/Dockerfile"
                                 sh "cat .test-r7rs/${SCHEME}/logs/*.log"
                             }
                         }