add doc builds stage to Jenkinsfile

ihmeuw · Dec 13, 2024 · 3ae64e8 · 3ae64e8
1 parent ad59f93
commit 3ae64e8
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -148,7 +148,7 @@ pipeline {
       }
     }
 
-    stage("Test") {
+    stage("Test and Build Docs") {
       parallel {
         stage("Run End-to-End Tests") {
           steps {
@@ -194,6 +194,12 @@ pipeline {
             ])
           }
         }
+
+        stage("Build Docs") {
+          steps {
+            sh "${ACTIVATE} && make build-doc"
+          }
+        }
       }
     }
   }