Commit 70104c0f authored by Robbert Krebbers's avatar Robbert Krebbers

Bump Iris version.

parent 975d454b
Pipeline #3322 failed with stage
in 5 minutes and 23 seconds
coq-iris https://gitlab.mpi-sws.org/FP/iris-coq b72a3301d7ff957cfbb06d06bba85fb4ee9a2c39
coq-iris https://gitlab.mpi-sws.org/FP/iris-coq 0cc2c6e098bfb05c056783b9212c9218fa46aa5e
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment