Labels

• bug

  bug

  Something isn't working

• correctness

  correctness

  Formal verification and protocol correctness

• dependencies

  dependencies

  Pull requests that update a dependency file

• docs

  docs

  Documentation improvements

• duplicate

  duplicate

  This issue or pull request already exists

• enhancement

  enhancement

  New feature or request

• feature

  feature

  New functionality

• full-ci

  full-ci

  Run the full CI matrix (Python build+test, E2E) on this PR

• go

  go

  Pull requests that update go code

• good first issue

  good first issue

  Good for newcomers

• help wanted

  help wanted

  Extra attention is needed

• invalid

  invalid

  This doesn't seem right

• javascript

  javascript

  Pull requests that update javascript code

• nightly-failure

  nightly-failure

  Automated: nightly chaos/benchmark run failed

• operational

  operational

  Operational tooling and configuration

• python:uv

  python:uv

  Pull requests that update python:uv code

• question

  question

  Further information is requested

• research

  research

  Something to look into and consider

• rust

  rust

  Pull requests that update rust code

• wontfix

  wontfix

  This will not be worked on