ProvableHQ/leo - CodSpeed

leo

Blog Docs Changelog

Performance History

Latest Results

Panic when the same external CPI (returning Final) appears in multiple programs in the import tree

mohammadfawaz/29297

14 hours ago

Fix interface record type matching and array-length panic in interfaces (#29285, #29293) Fix signature-mismatch false positives when an interface defined in a submodule uses record prototypes: compare by record name rather than full qualified path in CheckInterfaces. Fix panic in const propagation when interface function prototypes contain array types: make the type checker visit interface contents so array-length literals get type table entries. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

mohammadfawaz/29285

14 hours ago

Fix compiler error with dyn record

mohammadfawaz/29295

2 days ago

Fix compiler error with dyn record

mohammadfawaz/29295

2 days ago

Fix compiler error with dyn record

mohammadfawaz/29295

2 days ago

Retry network calls

mohammadfawaz/request_retry_logic

2 days ago

Retry network calls

mohammadfawaz/request_retry_logic

2 days ago

Retry network calls

mohammadfawaz/request_retry_logic

2 days ago

Latest Branches

0%

Panic when the same external CPI (returning Final) appears in multiple programs in the import tree#29299

14 hours ago

db63c7a

mohammadfawaz/29297

0%

Fix false-positive interface conformance errors and panic on array-length expressions in interface prototypes#29298

2 days ago

86cb391

mohammadfawaz/29285

0%

Accept dyn record arguments by looking up interface records (not program records)#29296

2 days ago

5a7d8b3

mohammadfawaz/29295

© 2026 CodSpeed Technology

Home Terms Privacy Docs