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: