Tweaks

stan-dev · Jan 3, 2025 · 0673882 · 0673882
1 parent 0d2bb20
commit 0673882
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/.github/workflows/binaries.yml b/.github/workflows/binaries.yml
@@ -182,4 +182,6 @@ jobs:
         run: chmod +x ${{ matrix.name }}-stanc
 
       - name: Run tests
-        run: ./${{ matrix.name }}-stanc --help
+        run: |
+          mv ${{ matrix.name }}-stanc stanc.exe
+          ./stanc.exe --help
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -668,9 +668,9 @@ pipeline {
                                         runShell("""
                                             export PATH=/Users/jenkins/brew/bin:\$PATH
                                             eval \$(opam env --switch=stanc-4.14.1 --set-switch)
-                                            dune subst
                                             opam update || true
                                             bash -x scripts/install_build_deps.sh
+                                            dune subst
                                             dune build @install --root=.
                                         """)
                                     }
@@ -690,9 +690,9 @@ pipeline {
                                         runShell("""
                                             export PATH=/Users/jenkins/brew/bin:\$PATH
                                             eval \$(opam env --switch=stanc-4.14.1 --set-switch)
-                                            dune subst
                                             opam update || true
                                             bash -x scripts/install_build_deps.sh
+                                            dune subst
                                             dune build @install --root=.
                                         """)
                                     }