diff --git a/.github/workflows/blank.yml b/.github/workflows/blank.yml index ff051db3a..5d0a4cce1 100644 --- a/.github/workflows/blank.yml +++ b/.github/workflows/blank.yml @@ -44,10 +44,11 @@ jobs: - run: rm -fr runtime32 if: ${{ matrix.os == 'macos-latest' }} - - - run: opam exec -- dune test stdlib/regression -j1 - - run: opam exec -- dune b - - run: opam exec -- dune b @install - - run: opam exec -- dune install - #- run: opam exec -- make regression - - run: opam exec -- dune test regression + - run: opam exec -- make install + - run: opam exec -- make regression + # - run: opam exec -- dune test stdlib/regression -j1 + # - run: opam exec -- dune b + # - run: opam exec -- dune b @install + # - run: opam exec -- dune install + # - run: opam exec -- make regression + # - run: opam exec -- dune test regression