perf: `Environment.find?` should not block on privacy mismatch#8472

Kha merged 1 commit intoleanprover:masterleanprover/lean4:masterfrom

Kha:push-zmkmykrmrrwvKha/lean4:push-zmkmykrmrrwvCopy head branch name to clipboard