Bump Iris (make use of `excl_auth`).

1 job for master in 22 minutes and 5 seconds (queued for 1 minute and 36 seconds)
Status Job ID Name Coverage
  Build
passed #48219
fp
build-coq.8.10.1

00:22:05