-
Notifications
You must be signed in to change notification settings - Fork 1
38 lines (33 loc) · 1.02 KB
/
ci-interpreter.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
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
# XXX: Disable the tests until the spec interpreter has been updated for
# the custom-page-sizes proposal.
#
# - name: Run tests
# run: cd interpreter && opam exec make JS=node ci