Disable JS testsuite

WebAssembly · Sep 1, 2023 · 08de56b · 08de56b
1 parent dd4e5a1
commit 08de56b
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/ci-interpreter.yml b/.github/workflows/ci-interpreter.yml
@@ -1,4 +1,4 @@
-name: CI for interpreter & tests
+2name: CI for interpreter & tests
 
 on:
   push:
@@ -31,4 +31,5 @@ jobs:
       - name: Build interpreter
         run: cd interpreter && opam exec make
       - name: Run tests
-        run: cd interpreter && opam exec make JS=node ci
+        run: cd interpreter && opam exec make test
+        #run: cd interpreter && opam exec make JS=node ci