Labels

bug
bug
Something isn't working!
dependencies
dependencies
Pull requests that update a dependency file
documentation
documentation
Improvements to documentation
duplicate
duplicate
This issue or PR already exists
formal
formal
TLA+ or other formal material
framework
framework
Framework-level improvement
github_actions
github_actions
Pull requests that update GitHub Actions code
high-priority
high-priority
High priority, short-term task
low-priority
low-priority
Low priority, long-term task
protocol
protocol
New protocol implementation
rust
rust
Pull requests that update rust code
testing
testing
Tests & testing infrastructure
tooling
tooling
About the supporting tooling