diff --git a/.github/workflows/coq-debian.yml b/.github/workflows/coq-debian.yml index 867c898746..037f0430e3 100644 --- a/.github/workflows/coq-debian.yml +++ b/.github/workflows/coq-debian.yml @@ -58,7 +58,7 @@ jobs: - name: install-standalone-unified-ocaml run: etc/ci/github-actions-make.sh install-standalone-unified-ocaml BINDIR=dist - name: standalone-js-of-ocaml - run: etc/ci/github-actions-make.sh -j2 standalone-js-of-ocaml + run: etc/ci/github-actions-make.sh -j1 standalone-js-of-ocaml - name: install-standalone-js-of-ocaml run: etc/ci/github-actions-make.sh install-standalone-js-of-ocaml - name: upload standalone files