diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 5ef715a5..6a1cdf9e 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -18,3 +18,4 @@ jobs: - run: opam install -t . --deps-only - run: opam exec -- dune build - run: opam exec -- dune runtest + if: ${{ matrix.operating-system == 'unbuntu-latest' }}