Skip to content
Snippets Groups Projects

Bump Iris and fix compilation with Coq master.

Passed
Robbert Krebbers created pipeline for commit 0e605cfd
, finished
For master
1 job 9 minutes 47 seconds, queued for 1,168 seconds