Skip to content

No labels!

There aren’t any labels for this repository quite yet.

blocked
blocked
Status: marked as blocked on something else.
bug
bug
Something isn't working
ci
ci
Continuous integration
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
inactive
inactive
Status: Inactive and waiting on the author.
invalid
invalid
This doesn't seem right
proof
proof
Proof related
question
question
Further information is requested
tests
tests
Tests
waiting-on-author
waiting-on-author
Status: This is awaiting some action from the author.
waiting-on-review
waiting-on-review
Status: Awaiting review from the assignee but also interested parties.
wontfix
wontfix
This will not be worked on