-
Notifications
You must be signed in to change notification settings - Fork 45
53 lines (47 loc) · 1.4 KB
/
verification.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
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
name: Verification
on: [push]
# Ensures that only the latest commit of a PR can execute the actions.
# Useful for cancelling job when a sequence of commits are quickly added.
concurrency:
group: ${{ github.head_ref || github.run_id }}
cancel-in-progress: true
jobs:
build:
name: Build VCalyx
runs-on: ubuntu-latest
container: ghcr.io/cucapra/calyx:latest
steps:
- name: Checkout
uses: actions/checkout@v3
- name: Get bwrap for opam
run: |
apt-get update -y
apt-get install -y bubblewrap
- name: Set up opam and OCaml 4.13.1
uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: 4.13.1
- name: Checkout commit that triggered run
run: |
git fetch --all
git checkout $GITHUB_SHA
- name: Install dependencies
run: |
cd vcalyx
opam install dune
opam repo add coq-released https://coq.inria.fr/opam/released
opam install . --deps-only
opam install coq yojson core core_unix ppx_deriving coq-stdpp coq-ceres
- name: Build Rust
uses: actions-rs/cargo@v1
with:
command: build
args: --features serialize --all --manifest-path /home/calyx/interp/Cargo.toml
- name: Build Coq and OCaml
run: |
cd vcalyx
opam exec -- dune build
- name: Coq Interpreter Runt Tests
run: |
cd vcalyx
runt --diff --only fail