Merge branch 'ci/robbert/iFrame_later' into 'master'

Fix regression in iGPS caused by eebe055b.

See merge request FP/iris-coq!120
1 job for master in 4 minutes and 26 seconds (queued for 1 second)