dune 2 shenanigans

This commit is contained in:
Simon Cruanes 2022-02-17 10:34:08 -05:00
parent c50ee3d928
commit 8aa50b2523
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -43,7 +43,7 @@ jobs:
opam install containers-data containers-thread --deps-only # no test deps
if: matrix.os != 'ubuntu-latest'
- run: opam exec -- dune build
- run: opam exec -- dune build @install
- run: opam exec -- dune runtest
if: ${{ matrix.os == 'ubuntu-latest' }}