perf: heartbeat and theap in one thread-local #22099
Triggered via pull request
August 31, 2026 14:58
mathlib-lean-pr-testing[bot]
mathlib-lean-pr-testing[bot]
labeled
#14982
Status
Skipped
Total duration
1s
Artifacts
–