Labels

• bug

  Something isn't working
• deeprunning

  For issues that run deep into the codebase
• disregarded

  For disregarded issues/PRs
• docs

  An enhancement to or complaint about the documentation
• feature

  For feature requests or feature PRs
• foia

  An issue asking for clarification
• impactful

  For impactful issues/PRs
• important

  Extremely important and requires extra attention
• invalid

  The issue is misguided or the pull request has failed checks
• no-issue-activity
• ub

  Undefined behavior