depext -> confirm level = unsafe-yes

Running `opam depext` with `confirm-level=unsafe-yes`. This
allows `opam` to install missing external dependencies
(via the host package manager)

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
 
@@ -61,7 +61,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
     - name: Detect SMT provers
@@ -128,7 +128,7 @@ jobs:
     - name: Install EasyCrypt dependencies
       run: |
         opam pin add -n easycrypt easycrypt
-        opam install --deps-only easycrypt
+        opam install --deps-only --confirm-level=unsafe-yes easycrypt
     - name: Compile & Install EasyCrypt
       run: opam exec -- make -C easycrypt build install
     - name: Detect SMT provers