Pull requests: ProvableHQ/leo
Pull requests list
feat(leo-fmt): implement statement and expression formatting
#29104
opened Feb 6, 2026 by
JoshuaBatty
•
Draft
Add signature literals and support optional signatures
feature
A new feature.
#29102
opened Feb 5, 2026 by
mohammadfawaz
Loading…
[Fix] Skip programs specified in Something isn't working
🖥️ CLI
Anything related to the Leo CLI.
leo upgrade --skip.
bug
#29059
opened Jan 8, 2026 by
d0cd
Loading…
fix:
leo test now returns non-zero exit status when one or more tests fail
#29025
opened Dec 3, 2025 by
mitchmindtree
•
Draft
4 tasks done
ProTip!
Adding no:label will show everything without a label.