depend on nightly Iris and fix build

3 jobs for master in 18 minutes and 50 seconds (queued for 2 seconds)
Name Stage Failure
failed
build-coq.8.10.2 Build
make[1]: *** [all] Error 2
make[1]: Target 'ci' not remade because of errors.
Makefile:6: recipe for target 'ci' failed
make: *** [ci] Error 2

real 0m20.524s
user 1m49.332s
sys 0m5.680s
ERROR: Job failed: exit code 1
failed
build-coq.8.11.2 Build
make[1]: *** [all] Error 2
make[1]: Target 'ci' not remade because of errors.
Makefile:6: recipe for target 'ci' failed
make: *** [ci] Error 2

real 0m28.973s
user 2m16.348s
sys 0m5.436s
ERROR: Job failed: exit code 1
failed
build-coq.8.12.0 Build
make[1]: *** [all] Error 2
make[1]: Target 'ci' not remade because of errors.
Makefile:6: recipe for target 'ci' failed
make: *** [ci] Error 2

real 0m24.479s
user 2m4.052s
sys 0m5.616s
ERROR: Job failed: exit code 1