Skip to content

No labels!

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

12 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
benchmarks
benchmarks
Triggers a long running prover benchmark
breaking-change
breaking-change
Changes that will break the current API
bug
bug
Something isn't working
1
documentation
documentation
Improvements or additions to documentation
1
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
14
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
1
invalid
invalid
This doesn't seem right
question
question
Further information is requested
2
tech-debt
tech-debt
Tech-debt related issues
wontfix
wontfix
This will not be worked on
1