Labels

Related to internal automations

Related to benchmarking

The bot will leave a comment explaining that we need an MRE.

A breaking change

Something isn't working

Enable building Docker images for a pull request

Enable a test push of Docker images with a SHA tag

Enable building release binaries for a pull request

Disable additional builds for a pull request

Disable building Docker images for a pull request

Disable building release binaries for a pull request

Caching of packages and metadata

Related to internal CI flakes

Related to the command line interface

Compatibility with a specification or another tool

Settings and such

Perform a dedicated coverage-instrumented test run

Pull request is not ready to merge

Improvements or additions to documentation

This issue or pull request already exists

New feature or improvement to existing functionality