From 20bd2ca94d388eb86a5966417684c5831a2f9bbe Mon Sep 17 00:00:00 2001 From: Nitish Date: Sat, 1 Jun 2024 10:07:40 +0530 Subject: [PATCH] another testing --- .github/workflows/build.yml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 6364e39a3..26f458fff 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -51,8 +51,11 @@ jobs: run: | eval $(opam env) opam pin --yes --no-action add . - opam pin --yes --no-action add ./src/sail_json_backend - opam install sail --yes + git clone https://github.com/ThinkOpenly/sail.git + cd sail + opam pin add sail + opam install . --deps-only + make install - name: Test Sail run: |