Remove compilation test from CI

formalsec · Jan 21, 2024 · abfaa57 · abfaa57
1 parent c578f09
commit abfaa57
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -31,8 +31,3 @@ jobs:
         run: opam exec -- dune build @install
       - name: Test
         run: opam exec -- dune runtest
-      - name: Compile interpreters
-        run: |
-          cd JS-Interpreters
-          opam exec -- dune exec -- ecma-sl compile ecmaref5/main.esl --untyped > /dev/null
-          opam exec -- dune exec -- ecma-sl compile ecmaref6/main.esl --untyped > /dev/null