re-enable failing docs builds

2023-09-26 17:11:39 +02:00
parent 3e97bf0c15
commit 393c73cedf
2 changed files with 2 additions and 4 deletions
--- a/automation/Jenkinsfile
+++ b/automation/Jenkinsfile
@ -20,9 +20,7 @@ pipeline {
        }
        stage('Docs') {
            steps {
-                catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {
-                    sh 'cargo +nightly doc --all-features'
-                }
+                sh 'cargo +nightly doc --all-features'
            }
        }
        stage('Rustfmt') {