Labels

• bug

  bug

  Something is not working

• dependencies

  dependencies

  Pull requests that update a dependency file

• design

  design

  Architecture and design work

• documentation

  documentation

  Documentation improvements

• enhancement

  enhancement

  New feature or improvement

• github_actions

  github_actions

  Pull requests that update GitHub Actions code

• priority:2

  priority:2

  Normal priority

• rust

  rust

  Pull requests that update rust code

• security

  security

  Security-sensitive work