From 7c035e60b3217c3c4c07572181a48f2dfc94e557 Mon Sep 17 00:00:00 2001 From: Jules Aguillon Date: Tue, 12 Dec 2023 11:06:03 +0100 Subject: [PATCH] CI: Don't run Mdx and coverage on older versions Mdx isn't co-installable with Odoc on older compilers. Coverage dependencies are unused on these builds. --- .github/workflows/build.yml | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 90dddc6ba2..cfa8798504 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -17,9 +17,12 @@ jobs: - 4.04.x - 4.14.x include: - - os: ubuntu-latest # Enable coverage only on a single build + - os: ubuntu-latest ocaml-compiler: 4.14.x + # We don't need to compute coverage for more than one build send-coverage: true + # Mdx tests Mdx tests + run-mdx: true fail-fast: false runs-on: ${{ matrix.os }} @@ -42,6 +45,7 @@ jobs: run: opam install -y --deps-only -t ./odoc.opam ./odoc-parser.opam - name: Install bisect_ppx + if: matrix.send-coverage == true run: opam install bisect_ppx - name: dune runtest @@ -49,6 +53,7 @@ jobs: # Run Mdx tests that are disabled by default. - name: Mdx tests + if: matrix.run-mdx == true run: | opam install -y mdx opam exec -- dune build @runmdx