Skip to content

No labels!

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

22 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
automerge
automerge
1
bug
bug
Something isn't working
5
cli
cli
2
dependencies
dependencies
Pull requests that update a dependency file
do not merge
do not merge
documentation
documentation
Improvements or additions to documentation
2
duplicate
duplicate
This issue or pull request already exists
engagement
engagement
Related to an ongoing engagement
1
enhancement
enhancement
New feature or request
17
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
high priority
high priority
invalid
invalid
This doesn't seem right
kevm
kevm
2
kevm-pyk
kevm-pyk
low priority
low priority
medium priority
medium priority
not ready
not ready
performance
performance
proof-modularity
proof-modularity
question
question
Further information is requested
wontfix
wontfix
This will not be worked on