perf: avoid copying mpz wrappers #27250
Triggered via pull request
August 31, 2026 10:09
mathlib-lean-pr-testing[bot]
mathlib-lean-pr-testing[bot]
labeled
#14978
Status
Success
Total duration
5s
Artifacts
–
awaiting-manual.yml
on: pull_request_target
check-awaiting-manual
2s