Labels

Release PRs

A contributor request or update.

Pull requests that update a dependency file,

Improvements or additions to documentation

Fixes a bug or issue.

Extra attention is needed

Anything related to the Leo formatter

Anything related to the Leo linter

A critical bug that is stopping developers writing Leo programs.

A high priority bug/task in Leo.

A low priority bug/task in Leo.

A medium priority bug/task in Leo.

A proposal for something new.

Refactor or cleanup.

Pull requests that update rust code

Anything related to the interpreter.

Something isn't working

Anything related to Leo LSP

Anything related to the `leo test` CLI command.

Anything related to the Leo playground site and LSP.

Anything related to the Leo CLI.