diff --git a/.github/workflows/coq-windows.yml b/.github/workflows/coq-windows.yml index e394fed64c..da776310cd 100644 --- 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: