diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index b0d3102d..d2b3e23e 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -27,4 +27,4 @@ jobs: - run: opam install -t . --deps-only - run: opam exec -- dune build --ignore-promoted-rules - run: opam exec -- dune runtest --ignore-promoted-rules - if: ${{ matrix.os == 'ubuntu-latest'}} + if: ${{ matrix.os == 'ubuntu-latest' && matrix.ocaml-compiler == '4.14.x' }}