Skip to content

fix: align sync status heuristic with leanSpec#417

Open
dicethedev wants to merge 3 commits into
lambdaclass:mainfrom
dicethedev:fix/sync-status-heuristic
Open

fix: align sync status heuristic with leanSpec#417
dicethedev wants to merge 3 commits into
lambdaclass:mainfrom
dicethedev:fix/sync-status-heuristic

Commits

Commits on Jun 6, 2026