Labels

• dependencies

  Pull requests that update a dependency file
• Good first issue

  Indicates a good issue for first-time contributors
• Kani

  Related to formal verification
• Priority: High

  Indicates than an issue or pull request should be resolved ahead of issues or pull requests labelled
• Priority: Low

  Indicates that an issue or pull request should be resolved behind issues or pull requests labelled `
• Priority: Medium

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

  Pull requests that update Python code
• Release

  Indicates that an issue or pull request is part of the next release
• Roadmap: New Request
• Roadmap: Tracked

  Items tracked on the roadmap project.
• rust

  Pull requests that update Rust code
• Status: Awaiting author

  Indicates that an issue or pull request requires author action
• Status: Awaiting review

  Indicates that a pull request is ready to be reviewed
• Status: Blocked

  Indicates that an issue or pull request cannot currently be worked on
• Status: Parked

  Indicates that an issues or pull request will be revisited later
• Status: WIP

  Indicates that an issue is currently being worked on or triaged
• Type: Bug

  Indicates an unexpected problem or unintended behavior
• Type: Documentation

  Indicates a need for improvements or additions to documentation
• Type: Enhancement

  Indicates new feature requests
• Type: Fix

  Indicates a fix to existing code
• Type: Performance
• Type: Question

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