From e94689a30594b443ef427e6b48f9944ab8a307f3 Mon Sep 17 00:00:00 2001 From: Andrew Johnson Date: Wed, 22 Jan 2025 11:27:11 +0800 Subject: [PATCH] Update Jenkinsfile to bump rstan's submodule on merges to develop --- Jenkinsfile | 1 + 1 file changed, 1 insertion(+) diff --git a/Jenkinsfile b/Jenkinsfile index 47b3aacbbc..68063b8600 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -516,6 +516,7 @@ pipeline { success { script { utils.updateUpstream(env,'cmdstan') + utils.updateUpstream(env,'rstan') utils.mailBuildResults("SUCCESSFUL") } }