Skip to content

Labels

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-design

    Category: Design discussion
  • 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
  • D-easy

    Experience needed to fix: Easy / not much
  • D-hard

    Experience needed to fix: Hard / a lot
  • D-medium

    Experience needed to fix: Medium / intermediate
  • P-help-wanted

    Call for participation: Good issues for third-party contributors
  • 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