Labels

• A-ci

  Area: CI
• A-documentation

  Area: Docs
• A-hypertket

  Area: Hypertket
• A-python

  Area: Python code
• A-rust

  Area: Rust code
• autorelease: pending
• autorelease: tagged
• C-bugfix

  Category: PR with bug fix
• C-feature-accepted

  Category: A feature request that has been accepted pending implementation
• C-feature-request

  Category: A feature request
• C-perf

  Category: PR/issue with code/suggestions for performance improvements
• C-question

  Category: User questions that are neither a feature nor a bug
• C-refactor

  Category: PR/issue with specific code/suggestions for refactoring
• C-rfc

  Category: Request For Comments
• C-tracking-issue

  An issue/PR that collects information about a broad development initiative
• P-easy

  Call for participation: Experience needed to fix: Easy / not much
• P-hard

  Call for participation: Experience needed to fix: Hard / a lot
• P-help-wanted

  Call for participation: Help is requested to fix this issue
• P-medium

  Call for participation: Experience needed to fix: Medium / intermediate
• S-breaking-change

  Status: Need a breaking change release to progress
• S-needs-triage

  Status: Needs to be labelled
• X-dependabot

  Dependabot dependency update
• X-release

  Automated release PR
• X-run-thorough-ci-tests

  Status: This PR contains changes which require the full CI checks to be run
• X-unsoundness-checks

  Automated unsoundness checks failure report