Bump Iris.

7 jobs for master in 18 minutes and 22 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #20088
fp
build-coq.8.7.1

00:06:53

passed #20087
fp
build-coq.8.7.2

00:06:50

passed #20086
fp-timing
build-coq.8.8.0

00:05:37

failed #20085
fp
build-coq.8.8.1

00:01:18

failed #20084
fp
build-coq.8.8.2

00:01:14

passed #20083
fp-timing
build-coq.8.9.dev

00:06:30

passed #20082
fp
build-coq.dev

00:18:22

 
Name Stage Failure
failed
build-coq.8.8.1 Build
  - ocaml-config -> ocaml-base-compiler
conflict with the base packages of this switch
- ocaml-config -> ocaml-system
unmet availability conditions, e.g. sys-ocaml-version = "4.07.1"
- ocaml-config -> ocaml-variants
conflict with the base packages of this switch

'opam upgrade -y --all build-dep/ -vv' failed.
ERROR: Job failed: exit code 1
failed
build-coq.8.8.2 Build
  - ocaml-config -> ocaml-base-compiler
conflict with the base packages of this switch
- ocaml-config -> ocaml-system
unmet availability conditions, e.g. sys-ocaml-version = "4.07.1"
- ocaml-config -> ocaml-variants
conflict with the base packages of this switch

'opam upgrade -y --all build-dep/ -vv' failed.
ERROR: Job failed: exit code 1