Fixing CI

rems-project · Jun 11, 2024 · e595241 · e595241
1 parent eb9e96a
commit e595241
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -12,7 +12,7 @@ jobs:
  - 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-stdpp https://github.com/rems-project/coq-sail.git
+ - run: opam pin --yes -n coq-sail-stdpp https://github.com/rems-project/coq-sail.git#f319aad
  - run: opam install --yes ./coq-cheri-capabilities.opam
  - run: eval $(opam env)