diff --git a/.github/workflows/blank.yml b/.github/workflows/blank.yml index 629bba6a9..4d9b69854 100644 --- a/.github/workflows/blank.yml +++ b/.github/workflows/blank.yml @@ -44,14 +44,14 @@ 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 + - run: opam exec -- dune test regression stdlib/regression regression_long + # - run: opam exec -- make regression-all # works # - run: rm -fr runtime32