From be37c15478198ace54ce552333f9dba6c9051da9 Mon Sep 17 00:00:00 2001
From: Robin Mueller <robin.mueller.m@gmail.com>
Date: Mon, 18 Sep 2023 18:00:14 +0200
Subject: [PATCH] docs failure should not fail the whole build

---
 automation/Jenkinsfile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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') {