Labels
Labels
18 labels
- This pull request is blocked to merge.
- Something isn't working
- Maybe fixed and checking
- Pull requests that update a dependency file
- Improvements or additions to documentation
- This issue or pull request already exists
- New feature or request
- This will be worked on in the future, but not right now
- 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
- Further information is requested
- Pull requests that update rust code
- Top priority tasks
- Second priority tasks
- This will not be worked on