diff --git a/.github/workflows/blank.yml b/.github/workflows/blank.yml index ef51c11b2..d2b8c4509 100644 --- a/.github/workflows/blank.yml +++ b/.github/workflows/blank.yml @@ -41,5 +41,7 @@ jobs: - run: opam depext Lama.dev --yes --with-test - run: opam install . --deps-only --with-test - run: eval $(opam env) + - run: opam exec -- dune b runtime32 -j1 + - run: opam exec -- dune test stdlib/regression -j1 - run: opam exec -- make install - run: opam exec -- make regression