diff --git a/Jenkinsfile b/Jenkinsfile
index 932a2ce..37e5d0c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -15,8 +15,10 @@ pipeline {
                 script {
                     implementations.each { implementation ->
                         stage("${implementation} primitives") {
-                            sh "docker build --build-arg COMPILE_R7RS=${implementation} --tag=r7rs-pffi-test-${implementation} -f Dockerfile.test ."
-                            sh "docker run --user=root -v ${WORKSPACE}:/workdir -w /workdir -t r7rs-pffi-test-${implementation} sh -c \"make COMPILE_R7RS=${implementation} TESTNAME=primitives test-compile-r7rs\""
+                            catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {
+                                sh "docker build --build-arg COMPILE_R7RS=${implementation} --tag=r7rs-pffi-test-${implementation} -f Dockerfile.test ."
+                                sh "docker run --user=root -v ${WORKSPACE}:/workdir -w /workdir -t r7rs-pffi-test-${implementation} sh -c \"make COMPILE_R7RS=${implementation} TESTNAME=primitives test-compile-r7rs\""
+                            }
                         }
                     }
                 }