add docs step in jenkinsfile

2023-01-11 00:16:09 +01:00
parent b68f1c3752
commit 76ea418711
1 changed files with 5 additions and 0 deletions
--- a/automation/Jenkinsfile
+++ b/automation/Jenkinsfile
@ -13,6 +13,11 @@ pipeline {
                sh 'cargo clippy'
            }
        }
+        stage('Docs') {
+            steps {
+                sh 'cargo +nightly doc --all-features'
+            }
+        }
        stage('Rustfmt') {
            steps {
                sh 'cargo fmt --all --check'