From fe51e7d779599b235934f4654f5b8d87cbfd033f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= Date: Thu, 21 Sep 2023 16:34:01 +0200 Subject: [PATCH] Fix CI interpreter --- .github/workflows/ci-interpreter.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci-interpreter.yml b/.github/workflows/ci-interpreter.yml index 44cc511b..d5105ad3 100644 --- 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