Skip to content

initial implementation of revamped inverse_functions encoding via aut… #127

initial implementation of revamped inverse_functions encoding via aut…

initial implementation of revamped inverse_functions encoding via aut… #127

Workflow file for this run

name: Builds, tests & co
on:
pull_request:
push:
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:
permissions: read-all
jobs:
build:
strategy:
fail-fast: false
matrix:
os:
- macos-latest
- ubuntu-latest
ocaml-compiler:
- "5.1"
runs-on: ${{ matrix.os }}
steps:
- name: Checkout tree
uses: actions/checkout@v4
- name: Set-up OCaml ${{ matrix.ocaml-compiler }}
uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: ${{ matrix.ocaml-compiler }}
- run: opam install . --deps-only --with-test
- run: opam exec -- dune build
- run: opam exec -- dune runtest