Search results

[Feature] Integrate rejection reasons into command output

featureA new feature.A new feature.

Status: Open.

#29168 In ProvableHQ/leo;

· vicsn opened on Feb 28, 2026

[Testing] Investigate automated testing/linting for markdown code snippets

documentationImprovements or additions to documentationImprovements or additions to documentation

🤖 CIAnything related to CI bugs or enhancementsAnything related to CI bugs or enhancements

🧪 TestingAnything related to testing the compiler and its tooling.Anything related to testing the compiler and its tooling.

Status: Open.

#29162 In ProvableHQ/leo;

· mitchmindtree opened on Feb 26, 2026

[Bug] error: internal compiler error: unexpected panic

Status: Open.

#29153 In ProvableHQ/leo;

· imajus opened on Feb 21, 2026

Dynamic records

Status: Open.

#29146 In ProvableHQ/leo;

· IGI-111 opened on Feb 20, 2026

Dynamic calls

Status: Open.

#29145 In ProvableHQ/leo;

· IGI-111 opened on Feb 20, 2026

Interfaces

Status: Open.

#29144 In ProvableHQ/leo;

· IGI-111 opened on Feb 20, 2026

[Feature] Leo workspaces

featureA new feature.A new feature.

proposalA proposal for something new.A proposal for something new.

tooling

🖥️ CLIAnything related to the Leo CLI.Anything related to the Leo CLI.

Status: Open.

#29140 In ProvableHQ/leo;

· mohammadfawaz opened on Feb 19, 2026

[Bug] Formatter doubling <code>::</code>

bugSomething isn't workingSomething isn't working

Status: Open.

#29128 In ProvableHQ/leo;

· mohammadfawaz opened on Feb 13, 2026

Some formatter edge cases

leo fmtAnything related the Leo formatterAnything related the Leo formatter

Status: Open.

#29127 In ProvableHQ/leo;

· mohammadfawaz opened on Feb 13, 2026

[Testing] Add dedicated unit tests for parser spans

🧪 TestingAnything related to testing the compiler and its tooling.Anything related to testing the compiler and its tooling.

Status: Open.

#29119 In ProvableHQ/leo;

· mitchmindtree opened on Feb 11, 2026

[Testing] External storage from tests

🧪 TestingAnything related to testing the compiler and its tooling.Anything related to testing the compiler and its tooling.

Status: Open.

#29113 In ProvableHQ/leo;

· mohammadfawaz opened on Feb 9, 2026

[Feature] Signature type in storage

featureA new feature.A new feature.

Status: Open.

#29112 In ProvableHQ/leo;

· mohammadfawaz opened on Feb 9, 2026