Skip to content

Commit

Permalink
Fixing CI
Browse files Browse the repository at this point in the history
  • Loading branch information
ric-almeida committed Jun 11, 2024
1 parent eb9e96a commit e595241
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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)

0 comments on commit e595241

Please sign in to comment.