Skip to content

fix: onix-lock-dev works correctly #57

fix: onix-lock-dev works correctly

fix: onix-lock-dev works correctly #57

Workflow file for this run

name: build
on: [push]
jobs:
run:
name: Build
runs-on: ${{ matrix.operating-system }}
strategy:
matrix:
operating-system: [ubuntu-latest]
ocaml-compiler: [ '4.08.1', '4.11.0', '4.12.1' ]
steps:
- uses: actions/checkout@master
- uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: ${{ matrix.ocaml-compiler }}
- run: opam pin -y -n .
- run: opam depext -yt imandra-document
- run: opam install -t . --deps-only
- run: opam install octavius
- run: opam exec -- dune build
- run: opam exec -- dune runtest