Labels

build
build
changelog:release
changelog:release
Release preparation; may edit CHANGELOG.md
changelog:skip
changelog:skip
No release notes needed
cleanup
cleanup
codex
codex
dependencies
dependencies
Pull requests that update a dependency file
discussion
discussion
editor
editor
Everything concerning the analysis binary
ENHANCE:ERROR_MESSAGE
ENHANCE:ERROR_MESSAGE
enhancement
enhancement
experiment
experiment
ffi
ffi
formatter
formatter
Issues related to code formatting
github_actions
github_actions
Pull requests that update GitHub Actions code
good first task
good first task
help wanted
help wanted
infrastructure
infrastructure
javascript
javascript
Pull requests that update javascript code
need feedback
need feedback
optimization
optimization
performance
performance
playground
playground
priority:high
priority:high
rust
rust
Pull requests that update rust code
stale
stale
Old issues that went stale
stdlib
stdlib
syntax
syntax