Update coq-windows.yml

JasonGross · May 9, 2024 · 128fee6 · 128fee6
1 parent adace38
commit 128fee6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/coq-windows.yml b/.github/workflows/coq-windows.yml
@@ -64,9 +64,9 @@ jobs:
     - name: echo build params
       run: .\etc\ci\describe-system-config-win.ps1
     - name: deps
-      run: opam exec -- etc/ci/github-actions-make.sh -j${NJOBS} deps
+      run: opam exec -- etc/ci/github-actions-make.sh -j$NJOBS deps
     - name: standalone-ocaml
-      run: opam exec -- etc/ci/github-actions-make.sh -j${NJOBS} standalone-ocaml
+      run: opam exec -- etc/ci/github-actions-make.sh -j$NJOBS standalone-ocaml
     - name: install-standalone-unified-ocaml
       run: opam exec -- etc/ci/github-actions-make.sh install-standalone-unified-ocaml BINDIR=dist