diff --git a/automation/Jenkinsfile b/automation/Jenkinsfile
index b9d4ea4..7b7d35c 100644
--- a/automation/Jenkinsfile
+++ b/automation/Jenkinsfile
@@ -20,7 +20,9 @@ pipeline {
         }
         stage('Docs') {
             steps {
-                sh 'cargo +nightly doc --all-features'
+                catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {
+                    sh 'cargo +nightly doc --all-features'
+                }
             }
         }
         stage('Rustfmt') {