Skip to content

feat: always record per-declaration heartbeat costs - #14712

Open
dennj wants to merge 1 commit into
leanprover:masterfrom
Latinum-Formal-Methods:heartbeat-sidecar
Open

feat: always record per-declaration heartbeat costs#14712
dennj wants to merge 1 commit into
leanprover:masterfrom
Latinum-Formal-Methods:heartbeat-sidecar

feat: store heartbeats in a efficent way

2c276d7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-awaiting-manual
succeeded Sep 1, 2026 in 6s