From 68fbad70cf7704d71e2f5c435f9e2e3193f296b6 Mon Sep 17 00:00:00 2001 From: danyaberezun Date: Fri, 28 Feb 2025 15:32:56 +0100 Subject: [PATCH] try --- .github/workflows/blank.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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