Labels
Labels
55 labels
- Determine if this PR introduces breaking changes. It will be used by scripts to classify PRs.
- Something isn't working
- Determine if this PR addresses a bug. It will be used by scripts to classify PRs.
- Pull requests that update a dependency file
- The feature/issue was implemented/resolved
- This issue or pull request already exists
- Check if this issue/PR enhances a feature; scripts will use this info.
- about fuzzing
- Garbage Collection feature
- Pull requests that update GitHub Actions code
- Good for newcomers
- Extra attention is needed
- This doesn't seem right
- Pull requests that update Javascript code