fix(#624): fence Lean/Why3 on early return; finish the soundness-ga…
#1217
| Job | Run time |
|---|---|
| 2m 40s | |
| 31s | |
| 2m 41s | |
| 2m 41s | |
| 19s | |
| 2m 42s | |
| 11m 34s |
return; finish the soundness-ga…
#1217
| Job | Run time |
|---|---|
| 2m 40s | |
| 31s | |
| 2m 41s | |
| 2m 41s | |
| 19s | |
| 2m 42s | |
| 11m 34s |