Bump Iris.

2 jobs for master in 15 minutes and 22 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #26958
fp
build-coq.8.9.0

00:10:09

passed #26957
fp
build-coq.dev

00:15:22