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