Update Jenkinsfile to bump rstan's submodule on merges to develop

stan-dev · Jan 22, 2025 · e94689a · e94689a
1 parent c38c3d8
commit e94689a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -516,6 +516,7 @@ pipeline {
         success {
             script {
                 utils.updateUpstream(env,'cmdstan')
+                utils.updateUpstream(env,'rstan')
                 utils.mailBuildResults("SUCCESSFUL")
             }
         }