From c3e6ea7b88bdc14fc5950cd53e7f2f6c08d51c7f Mon Sep 17 00:00:00 2001 From: Philippe Zwietering Date: Tue, 8 Sep 2026 17:22:50 +0200 Subject: [PATCH] build: Docs bouwen en publiceren --- Jenkinsfile | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/Jenkinsfile b/Jenkinsfile index 3cf9df8..b47ffe0 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -14,6 +14,13 @@ pipeline { } } + stage('Build docs') { + steps { + sh 'cargo doc' + archiveArtifacts artifacts: 'target/doc' + } + } + stage('Deploy') { steps { sh 'rm -r /var/www/zwietering.eu/projects/double-pendulum' @@ -21,6 +28,12 @@ pipeline { sh 'cp -r ./pkg/* /var/www/zwietering.eu/projects/double-pendulum' } } + + stage('Deploy docs') { + steps { + sh 'cp -r ./target/doc/ /var/www/zwietering.eu/projects/double-pendulum' + } + } } post {