Labels

Something is not working

Maintenance work with no user-facing change

Pull requests that update a dependency file

Pull requests that update docker code

Documentation only

This issue or pull request already exists

New feature or improvement

A failure a fuzz run found, one issue per invariant class

Pull requests that update GitHub Actions code

Good for newcomers

Extra attention is needed

Waiting for a dependency or landing decision

This doesn't seem right

Pull requests that update javascript code

Feature request awaiting maintainer approval before work begins

Maintainer decision needed before any change

A test the nightly full conformance tier found failing

Performance work

Further information is requested

Ejected from the merge queue by a failure reproduced on main

Allow CI to run on an external contributor's PR

Pull requests that update rust code

Denotes a PR that changes 100-499 lines, ignoring generated files.

Denotes a PR that changes 30-99 lines, ignoring generated files.

Denotes a PR that changes 10-29 lines, ignoring generated files.

Denotes a PR that changes 500-999 lines, ignoring generated files.

Denotes a PR that changes 0-9 lines, ignoring generated files.