Skip to content

Bump Iris version

Pierre Rousselinrequested to merge
Villetaneuse/lambda-rust:bump_iris into master

This is needed because Coq's CI gets Iris version from this project's opam file.

Merge request reports