fix(#624): fence Lean/Why3 on early return; finish the soundness-gate small calls
#1022
stdlib-naming.yml
on: pull_request
enforce-lowercase-stdlib
6s