Merge pull request #4 from rems-project/replacing_coq-sail_with_coq-s…

…ail-stdpp Replacing coq sail with coq sail stdpp
rems-project · Mar 11, 2024 · b8ad4f2 · b8ad4f2
2 parents 644890d + 68fc4b0
commit b8ad4f2
Show file tree

Hide file tree

Showing 15 changed files with 1,311 additions and 239 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -11,8 +11,8 @@ jobs:
       - run: opam init --yes
       - run: eval $(opam env --switch=default)
       - run: opam repo add --yes --this-switch coq-released https://coq.inria.fr/opam/released
-      - run: opam repo add --yes  --this-switch iris-dev https://gitlab.mpi-sws.org/iris/opam.git
-      - run: opam pin --yes -n coq-sail https://github.com/rems-project/coq-sail.git
+      - run: opam repo add --yes --this-switch iris-dev https://gitlab.mpi-sws.org/iris/opam.git
+      - run: opam pin --yes -n coq-sail-stdpp https://github.com/rems-project/coq-sail.git
       - run: opam install --yes ./coq-cheri-capabilities.opam
       - run: eval $(opam env)