GitHub / intoverflow issue stats
Total issues: 28
Total pull requests: 60
Merged pull request: 49
Average time to close issues: 5 months
Average time to close pull requests: 7 days
Average comments per issue: 1.61
Average comments per pull request: 0.65
Issues created
Pull requests created
- risc0/risc0-lean4: 24
- risc0/zeth: 12
- intoverflow/risc0-on-eth: 6
- appliedfm/vstyle: 4
- ambertide/datalite: 2
- risc0/risc0: 2
- appliedfm/vstyle-tools: 2
- appliedfm/growth-data: 2
- CertiCoq/certicoq: 1
- ferrilab/radium: 1
- time-rs/time: 1
- risc0/zkvm-compare: 1
- risc0/battleship-example: 1
- risc0/risc0-ethereum: 1
Maintainer
Active Maintainer
Issue Author Associations
- Member (22, 78.57%)
- None (3, 10.71%)
- Collaborator (2, 7.14%)
- Contributor (1, 3.57%)
Pull Request Author Associations
- Member (49, 81.67%)
- Owner (6, 10.00%)
- Contributor (3, 5.00%)
- None (1, 1.67%)
- Collaborator (1, 1.67%)
Top Issue Labels
- good first issue (4)
- enhancement (3)
- bug (2)
- help wanted (1)
Top Pull Request Labels
- C-invalid (1)