Labels

• bug

  Something isn't working!
• dependencies

  Pull requests that update a dependency file
• documentation

  Improvements to documentation
• duplicate

  This issue or PR already exists
• formal

  TLA+ or other formal material
• framework

  Framework-level improvement
• github_actions

  Pull requests that update GitHub Actions code
• high-priority

  High priority, short-term task
• low-priority

  Low priority, long-term task
• protocol

  New protocol implementation
• rust

  Pull requests that update rust code
• testing

  Tests & testing infrastructure
• tooling

  About the supporting tooling