Labels
Labels
16 labels
- Status: marked as blocked on something else.
- Something isn't working
- Continuous integration
- Improvements or additions to documentation
- This issue or pull request already exists
- New feature or request
- Good for newcomers
- Extra attention is needed
- Status: Inactive and waiting on the author.
- This doesn't seem right
- Proof related
- Further information is requested
- Tests
- Status: This is awaiting some action from the author.
- Status: Awaiting review from the assignee but also interested parties.
- This will not be worked on