diff --git a/Jenkinsfile b/Jenkinsfile index 6cb1ec0e6ee..6be37f3faa8 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -49,6 +49,9 @@ pipeline { skipDefaultCheckout() preserveStashes(buildCount: 7) } + environment { + STAN_NUM_THREADS = '4' + } stages { stage('Kill previous builds') { when { @@ -181,6 +184,17 @@ pipeline { runTestsWin("test/unit") } } + stage('Windows Threading tests') { + agent { label 'windows' } + steps { + deleteDirWin() + unstash 'MathSetup' + bat "echo CXX=${env.CXX} -Werror > make/local" + bat "echo CPPFLAGS+=-DSTAN_THREADS >> make/local" + runTestsWin("test/unit -f thread") + runTestsWin("test/unit -f map_rect") + } + } } } stage('Always-run tests part 2') {