From e595241a58994141350bf37cb54a09183f312bfe Mon Sep 17 00:00:00 2001
From: Ricardo Almeida <3705908+ric-almeida@users.noreply.github.com>
Date: Tue, 11 Jun 2024 18:09:04 +0100
Subject: [PATCH] Fixing CI

---
 .github/workflows/ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 07a1d38..a33ab4a 100644
--- 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)