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