From 921db438f259aa4172c61b76376e1a9bf4177d93 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 18 Nov 2024 12:03:39 -0500 Subject: [PATCH] chore: in CI, run tests in release profile this is required to be able to repro #454 --- .github/workflows/main.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index f151e51e..2b95929c 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -33,7 +33,7 @@ jobs: allow-prerelease-opam: true - run: opam install -t containers containers-data --deps-only - run: opam exec -- dune build '@install' - - run: opam exec -- dune runtest + - run: opam exec -- dune runtest --force --profile=release compat: name: build @@ -61,7 +61,7 @@ jobs: opam install -t containers --deps-only ; opam install containers-data --deps-only # no test deps - run: opam exec -- dune build '@install' - - run: opam exec -- dune runtest -j 1 -p containers # test only core on non-ubuntu platform + - run: opam exec -- dune runtest -j 1 -p containers --profile=release # test only core on non-ubuntu platform format: name: format