GitHub / LeanSerra issue stats
Total issues: 13
Total pull requests: 64
Merged pull request: 54
Average time to close issues: 20 days
Average time to close pull requests: 3 days
Average comments per issue: 0.15
Average comments per pull request: 0.8
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (13, 100.00%)
Pull Request Author Associations
- Contributor (63, 98.44%)
- None (1, 1.56%)
Top Issue Labels
- levm (4)
- L1 (2)
- tech debt (1)
- bug (1)
- L2 (1)
- sequencer (1)
Top Pull Request Labels
- levm (26)
- L2 (9)
- elixir (9)
- electra (9)
- L1 (7)
- tech debt (4)
- ci (3)
- cli (3)
- prover (3)
- refactor (2)
- rpc-api (1)
- documentation (1)
- sequencer (1)
- enhancement (1)