Fix CI interpreter

dhil · Sep 21, 2023 · fe51e7d · fe51e7d
1 parent 1b8e62a
commit fe51e7d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci-interpreter.yml b/.github/workflows/ci-interpreter.yml
@@ -1,4 +1,4 @@
-2name: CI for interpreter & tests
+name: CI for interpreter & tests
 
 on:
   push:
@@ -33,4 +33,4 @@ jobs:
       - name: Run tests
         # TODO: disable node.js run until it fully implements proposal
         # run: cd interpreter && opam exec make JS=node ci
-        run: cd interpreter && opam exec make ci
+        run: cd interpreter && opam exec make test