update to latest Iris

1 job for ci/ralf/dirs in 14 minutes and 39 seconds (queued for 1 second)
Status Name Job ID Coverage
  Test
passed igps-coq8.6.1 #3178
fp-timing

00:14:39