From ab306abfd10a4e4e273059fdb39338aca1eb97b0 Mon Sep 17 00:00:00 2001 From: danyaberezun Date: Fri, 28 Feb 2025 15:44:54 +0100 Subject: [PATCH] try --- .github/workflows/blank.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/blank.yml b/.github/workflows/blank.yml index 4d9b69854..0783640ff 100644 --- a/.github/workflows/blank.yml +++ b/.github/workflows/blank.yml @@ -50,7 +50,9 @@ jobs: if: ${{ matrix.os == 'macos-latest' }} - run: opam exec -- dune b @install --profile=release - run: opam exec -- dune install --profile=release - - run: opam exec -- dune test regression stdlib/regression regression_long + - run: opam exec -- dune test stdlib/regression + - run: opam exec -- dune test regression_long + - run: opam exec -- dune test regression # - run: opam exec -- make regression-all # works