update Iris

2 jobs for master in 20 minutes and 27 seconds
Status Job ID Name Coverage
  Build
passed #9388
fp
build-coq.8.6.1

00:20:27

passed #9387
fp-timing
build-coq.8.7.1

00:16:48