Preserve native proof budgets and repair stale capture dependencies - #2

Preserve native proof budgets and repair stale capture dependencies#2

Vilin97 wants to merge 1 commit into

mainVilin97/lean-source-profiler:mainfrom

codex/compact-heartbeat-recoveryVilin97/lean-source-profiler:codex/compact-heartbeat-recoveryCopy head branch name to clipboard