Skip to content
GitLab

Bump Iris and get rid of some annotations.

2 jobs for ci/iris-update in 24 minutes and 59 seconds (queued for 1 second)
bcfe1b36
1 related merge request: !10 make it compatible with Coq 8.7, and test that