From 68d3487ca8c4d5c06655a6837d740f2eaa29d86c Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 19 Jun 2023 17:27:58 -0400 Subject: [PATCH] CI --- .github/workflows/main.yml | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index dbe2ae40..e54322e6 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -31,8 +31,10 @@ jobs: dune-cache: true - run: opam install -t moonpool --deps-only - - - run: opam exec -- dune build '@install' - + - run: opam exec -- dune build @install - run: opam exec -- dune runtest + - run: opam install domain-local-await + if: matrix.ocaml-compiler == '5.0' + - run: opam exec -- dune build @install @runtest + if: matrix.ocaml-compiler == '5.0'