diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index a15262d..7f79af0 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -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'}}