Bump stdpp/Iris.

2 jobs for master in 25 minutes and 28 seconds
Status Name Job ID Coverage
  Build
passed build-coq.8.8.2 #42423
fp

00:25:28

passed build-coq.8.9.0 #42422
fp-timing

00:25:06