Skip to content

Bump Iris version

Pierre Rousselin requested 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