From 3f3fe7c83b23c9929ff9e54c2b0c55ee6cb94989 Mon Sep 17 00:00:00 2001 From: Danya Berezun Date: Fri, 28 Feb 2025 11:51:56 +0100 Subject: [PATCH] upd --- .github/workflows/blank.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/blank.yml b/.github/workflows/blank.yml index 5d0a4cce1..d3be10735 100644 --- a/.github/workflows/blank.yml +++ b/.github/workflows/blank.yml @@ -44,7 +44,10 @@ jobs: - run: rm -fr runtime32 if: ${{ matrix.os == 'macos-latest' }} + - run: opam exec -- dune b src runtime stdlib tutorial + if: ${{ matrix.os == 'macos-latest' }} - run: opam exec -- make install + if: ${{ matrix.os != 'macos-latest' }} - run: opam exec -- make regression # - run: opam exec -- dune test stdlib/regression -j1 # - run: opam exec -- dune b