GitHub / rust-highfive issue stats
Total issues: 16
Total pull requests: 3
Merged pull request: 1
Average time to close issues: almost 3 years
Average time to close pull requests: 40 minutes
Average comments per issue: 11.69
Average comments per pull request: 2.33
Issues created
Pull requests created
Maintainer
- nrc/libhoare: 5
Active Maintainer
Issue Author Associations
- None (13, 81.25%)
- Collaborator (3, 18.75%)
Pull Request Author Associations
- Collaborator (2, 66.67%)
- Contributor (1, 33.33%)
Top Issue Labels
- T-lang (2)
- A-data-types (2)
- enhancement (1)
- help wanted (1)
- A-syntax (1)
- A-structural-typing (1)
- A-sum-types (1)
- T-compiler (1)
- A-repr (1)
- A-optimization (1)
- A-machine (1)
- A-typesystem (1)