another testing

snapdgn · Jun 1, 2024 · 20bd2ca · 20bd2ca
1 parent 33d1ef2
commit 20bd2ca
Showing 1 changed file with 5 additions and 2 deletions.
diff --git 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: |