fix(#624): fence Lean/Why3 on early return; finish the soundness-gate small calls
#1215
| Job | Run time |
|---|---|
| 3m 13s | |
| 34s | |
| 3m 41s | |
| 3m 17s | |
| 3m 17s | |
| 32s | |
| 14m 34s |
return; finish the soundness-gate small calls
#1215
| Job | Run time |
|---|---|
| 3m 13s | |
| 34s | |
| 3m 41s | |
| 3m 17s | |
| 3m 17s | |
| 32s | |
| 14m 34s |