Labels

Something isn't working

Pull requests that update a dependency file

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

Pull requests that update GitHub Actions code

Good for newcomers

Extra attention is needed

This doesn't seem right

Intentional memory benchmark regression acknowledged by a maintainer

Release series targeting label

Performance and efficiency improvements

Further information is requested

Rebase and squash-merge automatically in deterministic PR order

Code refactoring and structural improvements

Maintainer-approved bypass when differential regression proof is impossible

Verified security hotspots and vulnerabilities

Sonar/code smell and maintainability cleanup

Release series targeting label

Release series targeting label

Release series targeting label

Release series targeting label

Release series targeting label

Release series targeting label

Release series targeting label

Release series targeting label