-
Notifications
You must be signed in to change notification settings - Fork 167
No labels!
There aren’t any labels for this repository quite yet.
28 labels
C-request
C-request
Category: A non-feature request, e.g.: metadata updates, optimization suggestion, etc.
E-needs-mcve
E-needs-mcve
Call for participation: This issue needs a Minimal Complete and Verifiable Example
I-unsound 💥
I-unsound 💥
A soundness hole (worst kind of bug), see: https://en.wikipedia.org/wiki/Soundness
S-blocked
S-blocked
Status: marked as blocked ❌ on something else such as a PR or other implementation work.
S-waiting-on-author
S-waiting-on-author
Status: awaiting some action (such as code changes) from the PR or issue author.