From 72b67ed632f26494c1664d485ff1d5820820d7c3 Mon Sep 17 00:00:00 2001 From: Kakadu Date: Thu, 27 Feb 2025 22:41:51 +0300 Subject: [PATCH] Fixup CI Signed-off-by: Kakadu --- .github/workflows/blank.yml | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/.github/workflows/blank.yml b/.github/workflows/blank.yml index 726dc435d..6c20d9cc0 100644 --- a/.github/workflows/blank.yml +++ b/.github/workflows/blank.yml @@ -46,5 +46,7 @@ jobs: if: ${{ matrix.os == 'macos-latest' }} - run: opam exec -- dune test stdlib/regression -j1 - - run: opam exec -- make install - - run: opam exec -- make regression + - run: opam exec -- dune b + - run: opam exec -- dune b @install + - run: opam exec -- dune install + #- run: opam exec -- make regression