[Merged by Bors] - feat(Computability.Partrec): add computability of Nat.find #141419
Triggered via pull request
April 4, 2026 09:55
AlexeyMilovanov
AlexeyMilovanov
synchronize
#36677
Status
Success
Total duration
1m 6s
Artifacts
–
PR_summary.yml
on: pull_request_target
post-or-update-summary-comment
1m 3s