Bump Iris.

1 job for master in 4 minutes and 7 seconds (queued for 13 minutes and 12 seconds)
Name Stage Failure
failed
build-iris.dev Build
| - remove    coq-iris         dev
| - recompile coq-stdpp dev
+-

The former state can be restored with:
opam switch import "/builds/iris/fairis/opamroot/ocaml-base-compiler.4.02.3/.opam-switch/backup/state-20190813161809.export"
Or you can retry to install your package selection with:
opam install --restore
ERROR: Job failed: exit code 1