updating CI

.github/workflows/check_encoding.yml

@@ -26,7 +26,7 @@ jobs:
 
     - name: Install lambdapi
       run: |
-        opam pin add 'git://github.com/gabrielhdt/lambdapi#coercions'
+        opam pin add 'git+https://github.com/gabrielhdt/lambdapi#coercions'
         opam exec -- why3 config detect
 
     - name: check encoding

.github/workflows/pvs_prelude.yml

@@ -17,7 +17,7 @@ jobs:
         ocaml-compiler: 4.11.1
 
     - name: pin lambdapi
-      run: opam pin add 'git://github.com/gabrielhdt/lambdapi#coercions'
+      run: opam pin add 'git+https://github.com/gabrielhdt/lambdapi#coercions'
 
     - name: Install PVS
       run: ${GITHUB_WORKSPACE}/personoj/tools/setup-pvs.sh