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

Run the exact-candidate optional parser-pack proof campaign

High priority

Low priority

Medium priority

Further information is requested

Pull requests that update rust code

Not scheduled

Blocked

Ready to work

Bug fix

Maintenance or tooling

Documentation

New feature

This will not be worked on