GitHub / m-carrasco issue stats
Total issues: 19
Total pull requests: 9
Merged pull request: 7
Average time to close issues: 2 months
Average time to close pull requests: about 7 hours
Average comments per issue: 3.11
Average comments per pull request: 1.22
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (11, 57.89%)
- Contributor (5, 26.32%)
- Collaborator (3, 15.79%)
Pull Request Author Associations
- Contributor (5, 55.56%)
- None (4, 44.44%)
Top Issue Labels
- bug (2)
- kind: bug (2)
- part: counterexamples (1)
Top Pull Request Labels
- Enhancement (1)
- Compile (1)