From 2362bd8f95c618b445c02bd3e26cf73bbbfecc0c Mon Sep 17 00:00:00 2001 From: Kakadu Date: Thu, 27 Feb 2025 22:34:04 +0300 Subject: [PATCH] Delete runtime32 on Mac Signed-off-by: Kakadu --- .github/workflows/blank.yml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/blank.yml b/.github/workflows/blank.yml index d2b8c4509..726dc435d 100644 --- a/.github/workflows/blank.yml +++ b/.github/workflows/blank.yml @@ -41,7 +41,10 @@ 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: rm -fr runtime32 + if: ${{ matrix.os == 'macos-latest' }} + - run: opam exec -- dune test stdlib/regression -j1 - run: opam exec -- make install - run: opam exec -- make regression