From 2c0f13fb1833693b29316af9db4a7f332a5b2a99 Mon Sep 17 00:00:00 2001 From: danyaberezun Date: Fri, 28 Feb 2025 15:20:46 +0100 Subject: [PATCH] try --- .github/workflows/blank.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/blank.yml b/.github/workflows/blank.yml index 4e2ced1a9..629bba6a9 100644 --- a/.github/workflows/blank.yml +++ b/.github/workflows/blank.yml @@ -45,6 +45,10 @@ jobs: - run: rm -fr runtime32 if: ${{ matrix.os == 'macos-latest' }} - run: opam exec -- dune b + - run: opam exec -- dune b src runtime runtime32 stdlib tutorial + if: ${{ matrix.os != 'macos-latest' }} + - run: opam exec -- dune b src runtime stdlib tutorial + if: ${{ matrix.os == 'macos-latest' }} - run: opam exec -- dune b @install --profile=release - run: opam exec -- dune install --profile=release - run: opam exec -- make regression-all