update js workflow

OCamlPro · Aug 8, 2024 · 9cf8094 · 9cf8094
1 parent e36dd34
commit 9cf8094
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build_js.yml b/.github/workflows/build_js.yml
@@ -65,7 +65,7 @@ jobs:
       # Run simple test with node
       # TODO: use gentest to run more tests there.
       - name: Run simple example with node
-        run: opam exec -- node alt-ergo.js tests/everything/f1.ae
+        run: opam exec -- node alt-ergo.js tests/input/everything/f1.ae
 
       # Upload Alt-Ergo.js as an artifact
       # the artifact name contains the system is builded on and the ocaml