From 1e60c4686b17dcfb21ccebd791ac80180c8e3851 Mon Sep 17 00:00:00 2001 From: danyaberezun Date: Fri, 28 Feb 2025 14:58:33 +0100 Subject: [PATCH] upd --- .github/workflows/blank.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/blank.yml b/.github/workflows/blank.yml index e328b9ead..bcc2a8648 100644 --- a/.github/workflows/blank.yml +++ b/.github/workflows/blank.yml @@ -45,6 +45,7 @@ jobs: - run: rm -fr runtime32 if: ${{ matrix.os == 'macos-latest' }} - run: opam exec -- dune b + - run: opam exec -- dune @install - run: opam exec -- dune install - run: opam exec -- make regression-all