Strong framing by default for persistent hypotheses.

1 job from strong_frame in 2 minutes and 40 seconds (queued for 3 seconds)
latest
Status Job ID Name Coverage
  Test
passed #2746
fp-timing
iris-coq8.6

00:02:40