From 9cf80944395518996a1592eb932160d6542548c4 Mon Sep 17 00:00:00 2001 From: Pierre Villemot Date: Thu, 8 Aug 2024 17:02:39 +0200 Subject: [PATCH] update js workflow --- .github/workflows/build_js.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build_js.yml b/.github/workflows/build_js.yml index ff73bcbbd..d8f7c1a6d 100644 --- 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