Skip to content

Commit 1027111

Browse files
committed
Update js CI
1 parent 775891c commit 1027111

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/workflows/build_js.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -55,7 +55,7 @@ jobs:
5555

5656
# compile Alt-Ergo with Js_of_ocaml
5757
- name: Make alt-ergo.js
58-
run: opam exec -- make js-node
58+
run: opam exec -- make js
5959

6060
# Use Node Js actions
6161
- uses: actions/setup-node@v4

0 commit comments

Comments
 (0)