Labels

• bug

  bug

  Something isn't working

• CI

  CI

  PR/issue related to our CI

• dependencies

  dependencies

  Pull requests that update a dependency file

• documentation

  documentation

  Improvements or additions to documentation

• duplicate

  duplicate

  This issue or pull request already exists

• enhancement

  enhancement

  New feature or request

• good first issue

  good first issue

  Good for newcomers

• help wanted

  help wanted

  Extra attention is needed

• in-review

  in-review

  PR is under active review and not yet approved

• invalid

  invalid

  This doesn't seem right

• Merged

  Merged

  PR is merged but not pushed

• needs-rebase

  needs-rebase

  The PR needs to be rebased to the latest upstream branch

• question

  question

  Further information is requested

• ready-to-merge

  ready-to-merge

  PR is ready for merging into main branch

• release-blocker

  release-blocker

  PR addresses a release-critical bug or issue.

• release-feature

  release-feature

  Changes include a feature that SHOULD be included in the next release.

• TSC review pending

  TSC review pending

  This PR requires discussion among the TSC before it can be finalized

• verification

  verification

  PR/issue related to formal verification

• wait-for-review

  wait-for-review

  PR needs for approval by reviewers

• wait-for-update

  wait-for-update

  PR is waiting to be updated to address review comments

• wontfix

  wontfix

  This will not be worked on