Labels

• autorelease: pending
• autorelease: tagged
• breaking-change

  Changes that break semver
• bug

  Something isn't working
• 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
• llvm

  Pertains to LLVM emission
• perf

  Performance issue
• python

  Pull requests that update Python code
• release

  Release PR
• run-ci-checks

  Special label to force running all checks in CI
• rust

  Pull requests that update Rust code
• spec

  Issues to do with the specification document(s)
• tracking-issue

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

  Automated issues created for failing unsoundness checks
• wait to merge