downgrade Iris to 3.2.0 to depend on something stable

1 job for master in 16 minutes and 47 seconds (queued for 15 minutes and 21 seconds)
latest
Status Job ID Name Coverage
  Build
passed #46255
fp
build-coq.8.9.0

00:16:47