Skip to content

Commit fbe7cd5

Browse files
committed
Update coq-windows.yml
$NJOBS is wrong on pwsh, so use 1${{ env.NJOBS }} or $Env:NJOBS instead
1 parent 128fee6 commit fbe7cd5

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

.github/workflows/coq-windows.yml

+4-4
Original file line numberDiff line numberDiff line change
@@ -64,9 +64,9 @@ jobs:
6464
- name: echo build params
6565
run: .\etc\ci\describe-system-config-win.ps1
6666
- name: deps
67-
run: opam exec -- etc/ci/github-actions-make.sh -j$NJOBS deps
67+
run: opam exec -- etc/ci/github-actions-make.sh -j${{ env.NJOBS }} deps
6868
- name: standalone-ocaml
69-
run: opam exec -- etc/ci/github-actions-make.sh -j$NJOBS standalone-ocaml
69+
run: opam exec -- etc/ci/github-actions-make.sh -j${{ env.NJOBS }} standalone-ocaml
7070
- name: install-standalone-unified-ocaml
7171
run: opam exec -- etc/ci/github-actions-make.sh install-standalone-unified-ocaml BINDIR=dist
7272

@@ -79,9 +79,9 @@ jobs:
7979
- name: install-standalone-js-of-ocaml
8080
run: opam exec -- etc/ci/github-actions-make.sh install-standalone-js-of-ocaml
8181
- name: c-files lite-generated-files
82-
run: opam exec -- etc/ci/github-actions-make.sh -j${NJOBS} c-files lite-generated-files
82+
run: opam exec -- etc/ci/github-actions-make.sh -j${{ env.NJOBS }} c-files lite-generated-files
8383
- name: only-test-amd64-files-lite
84-
run: opam exec -- etc/ci/github-actions-make.sh -j${NJOBS} only-test-amd64-files-lite SLOWEST_FIRST=1
84+
run: opam exec -- etc/ci/github-actions-make.sh -j${{ env.NJOBS }} only-test-amd64-files-lite SLOWEST_FIRST=1
8585
- name: upload OCaml files
8686
uses: actions/upload-artifact@v3
8787
with:

0 commit comments

Comments
 (0)