corrected URL for coq-cheri-capabilities

rems-project · Oct 26, 2023 · eb5fcca · eb5fcca
1 parent ac3fe71
commit eb5fcca
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -47,7 +47,7 @@ jobs:
         opam pin --yes -n coq-struct-tact https://github.com/uwplse/StructTact.git
         opam repo add --yes --this-switch iris-dev https://gitlab.mpi-sws.org/iris/opam.git
         opam pin --yes -n coq-sail https://github.com/rems-project/coq-sail.git
-        opam pin --yes -n coq-cheri-capabilities git@github.com:rems-project/coq-cheri-capabilities.git
+        opam pin --yes -n coq-cheri-capabilities https://github.com/rems-project/coq-cheri-capabilities.git
         opam install --deps-only --yes ./cerberus-lib.opam ./cerberus-cheri.opam
     
     - name: Save cached opam

diff --git a/README-cheri.md b/README-cheri.md
@@ -11,7 +11,7 @@ opam repo add --this-switch coq-released https://coq.inria.fr/opam/released
 opam pin -n coq-struct-tact https://github.com/uwplse/StructTact.git
 opam repo add --this-switch iris-dev https://gitlab.mpi-sws.org/iris/opam.git
 opam pin -n coq-sail https://github.com/rems-project/coq-sail.git
-opam pin -n coq-cheri-capabilities git@github.com:rems-project/coq-cheri-capabilities.git
+opam pin -n coq-cheri-capabilities https://github.com/rems-project/coq-cheri-capabilities.git
 ```
 
 Install the remaining dependencies using opam: