Labels

A PR that makes a breaking change.

Category: This is a bug.

Category: PRs that clean code up or issues documenting cleanup.

Category: A PR with an enhancement

Category: A feature request, i.e: not implemented / a PR.

Category: musings about a better world

Category: Performance related issues and PRs

Pull requests that update a dependency file

Call for participation: Experience needed to fix: Easy / not much

Call for participation: Experience needed to fix: Hard / a lot

Call for participation: Help is requested to fix this issue.

Call for participation: Experience needed to fix: Medium / intermediate

Call for participation: This issue needs a Minimal Complete and Verifiable Example

Pull requests that update GitHub Actions code

Issues in need of decision.

A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness

Issues about issues themselves ("bugs about bugs")

High priority

Low priority

Medium priority

Pull requests that update rust code

Status: marked as blocked ❌ on something else such as a PR or other implementation work.

Status: a duplicate of another issue.