main.yml

name: Continuous Integration

on:
  pull_request:
    branches: [ "master" ]
  push:
    branches: [ "master" ]

jobs:
  build:
    strategy:
      fail-fast: false
      matrix:
        os:
          - ubuntu-latest
        ocaml-compiler:
          - 4.13.1

    runs-on: ${{ matrix.os }}

    steps:
      - name: Checkout code
        uses: actions/checkout@v3

      - name: Use OCaml ${{ matrix.ocaml-compiler }}
        uses: ocaml/setup-ocaml@v2
        with:
          ocaml-compiler: ${{ matrix.ocaml-compiler }}

      - run: sudo apt-get install z3 -y

      - run: opam pin add -n hardcaml git+https://github.com/janestreet/hardcaml.git#master

      - run: opam pin add -n hardcaml_verify git+https://github.com/janestreet/hardcaml_verify.git#master

      - run: opam pin add -n hardcaml_verilator git+https://github.com/janestreet/hardcaml_verilator.git#master

      - run: opam pin add -n hardcaml_waveterm git+https://github.com/janestreet/hardcaml_waveterm.git#master

      - run: opam install . --deps-only --with-doc --with-test

      - run: cd libs/rust/ark_bls12_377_g1/ && cargo build && cd ../../..

      - run: opam exec -- dune build

      - run: opam exec -- dune runtest
      
      - name: Check repo is clean
        run: git diff --exit-code