Skip to content

[ASL] Rework binary operation effects on symbolic constraints #1046

[ASL] Rework binary operation effects on symbolic constraints

[ASL] Rework binary operation effects on symbolic constraints #1046

Workflow file for this run

name: build & make test
on:
pull_request:
# push:
workflow_dispatch:
schedule:
# Prime the caches every Monday
- cron: 0 1 * * MON
permissions: read-all
# Copy-pasted from https://stackoverflow.com/questions/66335225/how-to-cancel-previous-runs-in-the-pr-when-you-push-new-commitsupdate-the-curre
concurrency:
group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
cancel-in-progress: true
jobs:
build:
strategy:
fail-fast: false
matrix:
os:
# - macos-latest # Very slow
- ubuntu-latest
# - windows-latest # Unsupported?
ocaml-compiler:
- "4.08.1"
- "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 -- make build DUNE_PROFILE=dev
- run: opam exec -- make test DUNE_PROFILE=dev