Labels
Labels
33 labels
- Relates to the core bridge machinery
- Something isn't working
- Consensus-critical, high-sensitivity required
- Pull requests that update a dependency file
- This PR should not be merged as long as this tag is present.
- Minor documentation fixes from 3rdparty contributors
- Docker or deployment
- 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
- The changes in this PR need to be backported into `main`
- Prover-related, extremely sensntive in production
- Pull requests that update Python code
- Pull requests that update python:uv code
- Further information is requested
- Reworking code to improve structure or performance
- Pull requests that update rust code
- Reviewed and approved by Security
- Relates to non-code tasks such as research, benchmarking, etc.