From fbe7cd5105aec847433ef02a49529cd5a7c3aea6 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Thu, 9 May 2024 04:09:29 -0700 Subject: [PATCH] Update coq-windows.yml $NJOBS is wrong on pwsh, so use 1${{ env.NJOBS }} or $Env:NJOBS instead --- .github/workflows/coq-windows.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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: