Update coq-windows.yml

$NJOBS is wrong on pwsh, so use 1${{ env.NJOBS }} or $Env:NJOBS instead
mit-plv · May 9, 2024 · 095f216 · 095f216
1 parent 6677eac
commit 095f216
Showing 1 changed file with 4 additions and 4 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${{ env.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${{ env.NJOBS }} standalone-ocaml
     - name: install-standalone-unified-ocaml
       run: opam exec -- etc/ci/github-actions-make.sh install-standalone-unified-ocaml BINDIR=dist
 
@@ -79,9 +79,9 @@ jobs:
     - name: install-standalone-js-of-ocaml
       run: opam exec -- etc/ci/github-actions-make.sh install-standalone-js-of-ocaml
     - name: c-files lite-generated-files
-      run: opam exec -- etc/ci/github-actions-make.sh -j${NJOBS} c-files lite-generated-files
+      run: opam exec -- etc/ci/github-actions-make.sh -j${{ env.NJOBS }} c-files lite-generated-files
     - name: only-test-amd64-files-lite
-      run: opam exec -- etc/ci/github-actions-make.sh -j${NJOBS} only-test-amd64-files-lite SLOWEST_FIRST=1
+      run: opam exec -- etc/ci/github-actions-make.sh -j${{ env.NJOBS }} only-test-amd64-files-lite SLOWEST_FIRST=1
     - name: upload OCaml files
       uses: actions/upload-artifact@v3
       with: