Skip to content

Commit

Permalink
[CI] [Debian] use -j1 on js-of-ocaml (#1947)
Browse files Browse the repository at this point in the history
Maybe this will fix the CI
  • Loading branch information
JasonGross authored Aug 19, 2024
1 parent 634f423 commit 3bf25e3
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/coq-debian.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 3bf25e3

Please sign in to comment.