2023-09-18 18:19:32 +02:00
3 changed files with 63 additions and 3 deletions
--- a/automation/Jenkinsfile
+++ b/automation/Jenkinsfile
@@ -20,9 +20,11 @@ pipeline {
        }
        stage('Docs') {
            steps {
+                catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') {
                    sh 'cargo +nightly doc --all-features'
                }
            }
+        }
        stage('Rustfmt') {
            steps {
                sh 'cargo fmt --all --check'