Skip to content

release: Version 2.0.8 #88

release: Version 2.0.8

release: Version 2.0.8 #88

Workflow file for this run

name: Abella check tests
on:
push:
branches:
- master
pull_request:
branches:
- master
jobs:
build:
strategy:
matrix:
os: [ubuntu-latest]
ocaml-compiler: [4.12.x, 4.14.x, 5.1.x]
runs-on: ${{ matrix.os }}
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Use 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 all-release
- run: opam exec -- dune runtest