build-iris.dev: let trigger determine Iris revision

2 jobs for master in 13 minutes and 37 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #4049
fp-timing
build-coq8.6.1

00:13:35

passed #4048
fp-timing
build-coq8.7

00:04:07