Skip to content

Add callback-oriented versions of constraint_system and generate_witness #419

Add callback-oriented versions of constraint_system and generate_witness

Add callback-oriented versions of constraint_system and generate_witness #419

Workflow file for this run

name: Check build
on:
[pull_request]
jobs:
check_build:
strategy:
fail-fast: false
matrix:
os:
- macos-latest
- ubuntu-latest
ocaml-version:
- 4.14.0 # match mina's version
runs-on: ${{ matrix.os }}
steps:
- name: Get code
uses: actions/checkout@v2
- name: Use OCaml ${{ matrix.ocaml-version }}
uses: avsm/setup-ocaml@v1
with:
ocaml-version: ${{ matrix.ocaml-version }}
- name: Build
run: |
eval $(opam env)
opam update
opam pin add . -y
- name: Tests
run: |
eval $(opam env)
dune runtest
- name: Format
run: |
eval $(opam env)
opam install ocamlformat.0.20.1 # match mina's version
dune build @fmt