-
Notifications
You must be signed in to change notification settings - Fork 62
Pull requests: leanEthereum/leanSpec
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
test(st): attestation with already-justified target is silently skipped
#591
opened Apr 11, 2026 by
menawar
Contributor
Loading…
3 tasks done
test(fc): add test for head-selection
#590
opened Apr 11, 2026 by
akronim26
Contributor
Loading…
3 tasks done
ProTip!
Exclude everything labeled
bug with -label:bug.