Also review Iris instances outside [frame_instances]

2 jobs for !715 with linear-frame-priorities in 6 minutes and 12 seconds (queued for 7 seconds)
detached
Status Job ID Name Coverage
  Build
canceled build-coq.8.12.2 #136519
fp

00:06:12

canceled build-coq.dev #136518
fp

00:06:12