Skip to content

No labels!

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

19 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
bridge
bridge
Relates to the core bridge machinery
bug
bug
Something isn't working
1
consensus
consensus
Consensus-critical, high-sensitivity required
dependencies
dependencies
Pull requests that update a dependency file
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
1
github_actions
github_actions
Pull requests that update GitHub Actions code
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
invalid
invalid
This doesn't seem right
prover
prover
Prover-related, extremely sensntive in production
1
python
python
Pull requests that update Python code
question
question
Further information is requested
refactor
refactor
Reworking code to improve structure or performance
2
spike
spike
Relates to non-code tasks such as research, benchmarking, etc.
story
story
A tracking issue for multiple tasks
testing
testing
Relates to testing
wontfix
wontfix
This will not be worked on