Skip to content

Check Echidna publishing results for failure or success #211

Check Echidna publishing results for failure or success

Check Echidna publishing results for failure or success #211

Workflow file for this run

name: CI for interpreter & tests
on:
push:
branches: [ main ]
paths: [ .github/**, interpreter/**, test/** ]
pull_request:
branches: [ main ]
paths: [ .github/**, interpreter/**, test/** ]
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:
jobs:
interpreter:
runs-on: ubuntu-latest
steps:
- name: Checkout repo
uses: actions/checkout@v2
- name: Setup OCaml
uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: 4.12.x
- name: Setup OCaml tools
run: opam install --yes ocamlfind.1.9.5 js_of_ocaml.4.0.0 js_of_ocaml-ppx.4.0.0
- name: Setup Node.js
uses: actions/setup-node@v2
with:
node-version: 19.x
- name: Build interpreter
run: cd interpreter && opam exec make
- name: Run tests
run: cd interpreter && opam exec make JS=node ci