depext -> confirm level = unsafe-yes

Author: strub

.github/workflows/ci.yml

@@ -22,7 +22,7 @@ jobs:
     - name: Install EasyCrypt dependencies
       run: |
         opam pin add -n easycrypt .
-        opam install --deps-only easycrypt
+        opam install --deps-only --confirm-level=unsafe-yes easycrypt
     - name: Compile EasyCrypt
       run: opam exec -- make PROFILE=ci