diff --git a/Jenkinsfile b/Jenkinsfile index 7e5cc73..ff30a6f 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -17,7 +17,7 @@ pipeline { stage('Build docs') { steps { - sh 'cargo doc' + sh 'cargo doc -r' archiveArtifacts artifacts: 'target/doc/' } }