From c724a4db72b1552a26b69b61efe257cb179f02fb Mon Sep 17 00:00:00 2001 From: Jesse Tov Date: Wed, 27 Jul 2022 11:02:43 -0400 Subject: [PATCH] CI: Add profile to matrix. This is so we can use --profile=release on older OCaml versions that are producing warnings. Signed-off-by: Jesse Tov --- .github/workflows/workflow.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml index e8126d9..65560e9 100644 --- a/.github/workflows/workflow.yml +++ b/.github/workflows/workflow.yml @@ -23,9 +23,13 @@ jobs: - {os: ubuntu-latest, ocaml: 4.13.1} - {os: ubuntu-latest, ocaml: 4.12.1} - {os: ubuntu-latest, ocaml: 4.11.2} + - {os: ubuntu-latest, ocaml: 4.10.2, profile: release} exclude: - {os: windows-latest, ocaml: ocaml-base-compiler.5.0.0~alpha0} + env: + DUNE_PROFILE: ${{ matrix.profile || 'dev' }} + runs-on: ${{ matrix.os }} steps: