From 76ea418711870e4fb7c05f41c38b52630381bb6f Mon Sep 17 00:00:00 2001
From: Robin Mueller <robin.mueller.m@gmail.com>
Date: Wed, 11 Jan 2023 00:16:09 +0100
Subject: [PATCH] add docs step in jenkinsfile

---
 automation/Jenkinsfile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/automation/Jenkinsfile b/automation/Jenkinsfile
index d2cefd7..41c4d46 100644
--- 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'