Labels

Pull requests that update a dependency file

Indicates a good issue for first-time contributors

Related to formal verification

Indicates than an issue or pull request should be resolved ahead of issues or pull requests labelled

Indicates that an issue or pull request should be resolved behind issues or pull requests labelled `

Indicates than an issue or pull request should be resolved ahead of issues or pull requests labelled

Pull requests that update Python code

Indicates that an issue or pull request is part of the next release

Items tracked on the roadmap project.

Pull requests that update Rust code

Pull requests that update rust_toolchain_package_manager code

Indicates that an issue or pull request is awaiting action from its assignee.

Indicates that an issue or pull request requires author action

Indicates that a change has been merged and the issue remains open until its release.

Indicates that a pull request is ready to be reviewed

Indicates that an issue or pull request cannot currently be worked on

Indicates that an issues or pull request will be revisited later

Indicates that an issue is currently being worked on or triaged

Indicates an unexpected problem or unintended behavior

Indicates a need for improvements or additions to documentation

Indicates new feature requests

Indicates a fix to existing code

Indicates that an issue, pull request, or discussion needs more information