Skip to content

fix: align sync status heuristic with leanSpec#417

Merged
pablodeymo merged 7 commits into
lambdaclass:mainfrom
dicethedev:fix/sync-status-heuristic
Jun 11, 2026
Merged

fix: align sync status heuristic with leanSpec#417
pablodeymo merged 7 commits into
lambdaclass:mainfrom
dicethedev:fix/sync-status-heuristic

Commits

Commits on Jun 6, 2026

Commits on Jun 8, 2026

Commits on Jun 11, 2026