perf: fuse heartbeat update into the small-object allocation call #22100
Triggered via pull request
August 31, 2026 15:19
mathlib-lean-pr-testing[bot]
mathlib-lean-pr-testing[bot]
labeled
#14981
Status
Skipped
Total duration
1s
Artifacts
–