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 Name Job ID Coverage
  Build
passed build-coq.8.9.0 #46255
fp

00:16:47