Labels
Labels
21 labels
- This PR contains a breaking change
- Difficulty: easy
- Difficult: hard
- Difficulty: medium
- Pull requests that update a dependency file
- Do not merge due to conflicts with more important PRs
- Extra attention is needed
- Priority: high
- Priority: low
- Priority: medium
- Pull requests that update rust code
- Type: benchmark improvements
- Type: bug
- Type: discuss API design and/or research
- Type: doc improvements
- Type: new features
- Type: memory usage improvements
- Type: performance improvements
- Type: question
- Type: cleanup/refactor
- Type: test improvements