Labels
Labels
31 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
- 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.
- Status: awaiting some action (such as code changes) from the PR or issue author.
- Topic: documentation