workflow update

katamaran-project · Nov 13, 2024 · 707a553 · 707a553
1 parent cab9beb
commit 707a553
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -37,7 +37,7 @@ jobs:
         run: |
           eval $(opam env)
           opam update -y
-          opam pin add sail 0.18
+          opam pin -y add sail 0.18
           opam install . --deps-only -y
 
       - name: Update opam cache