Labels

• autorelease: pending
• autorelease: tagged
• badger-optimiser

  TASO optimization
• badgerv2

  New badger dev, ontop of portdiff
• breaking change
• bug

  Something isn't working
• chore
• ci

  CI / devops
• dependencies

  Pull requests that update a dependency file
• documentation

  Improvements or additions to documentation
• enhancement

  New feature or request
• github_actions

  Pull requests that update GitHub Actions code
• good first issue

  Good for newcomers
• hypertket
• Multithreading
• perf

  Performance issue
• py-bindings

  Python bindings
• python

  Pull requests that update Python code
• python:uv

  Pull requests that update python:uv code
• RAM

  Memory management
• run-ci-checks

  Special label to force running all checks in CI
• rust

  Pull requests that update Rust code
• tket2-hseries
• tracking-issue

  An issue tracking progress on multiple sub-tasks.
• unsoundness-checks

  Automated issues created for failing unsoundness checks
• wait to merge