From 046b98451b7882c793d5c2ee3f83cba5698187fb Mon Sep 17 00:00:00 2001 From: Mathieu Barbin Date: Sun, 27 Oct 2024 11:19:47 +0100 Subject: [PATCH] Install only main package related targets in more-ci --- .github/workflows/more-ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/more-ci.yml b/.github/workflows/more-ci.yml index e8ce262..8cf51b4 100644 --- a/.github/workflows/more-ci.yml +++ b/.github/workflows/more-ci.yml @@ -52,10 +52,10 @@ jobs: # janestreet-bleeding-external: https://github.com/janestreet/opam-repository.git#external-packages - name: Install dependencies - run: opam install . --deps-only --with-test + run: opam install ./provider.opam --deps-only --with-test - name: Build - run: opam exec -- dune build @all + run: opam exec -- dune build @all -p provider # For now, we only run tests for the `provider` package. Effectively, this # runs nothing because the tests are in the `provider-test` package. We