chore: CI

This commit is contained in:
Simon Cruanes 2022-10-18 16:12:04 -04:00
parent 8983f3410a
commit e02e19cd4e
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -29,6 +29,6 @@ jobs:
- run: opam pin -n .
- run: opam depext -yt iter
- run: opam install -t . --deps-only
- run: opam exec -- dune build
- run: opam exec -- dune build @install
- run: opam exec -- dune runtest
if: ${{ matrix.os == 'ubuntu-latest'}}