Code

fix: add missing initHeartbeats#1037

Code

Open

eric-wieser wants to merge 3 commits intomainleanprover-community/batteries:mainfrom eric-wieser/initHeartbeatsleanprover-community/batteries:eric-wieser/initHeartbeatsCopy head branch name to clipboard

Commits

Commits on Jan 8, 2025

• fix: add missing initHeartbeats

  Show description for 4597aea
  

  eric-wieser

  and

  lsartran

  committed
  4597aea

  Copy full SHA for 4597aea

• rework

  eric-wieser

  committed
  9d7fca8

  Copy full SHA for 9d7fca8

Commits on Jan 18, 2025

• chore: merge main and fix long line

  fgdorais

  committed
  bd741cd

  Copy full SHA for bd741cd