Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ssomayyajula issue stats
Total issues: 4
Total pull requests: 7
Merged pull request: 5
Average time to close issues: 23 days
Average time to close pull requests: 19 days
Average comments per issue: 1.0
Average comments per pull request: 0.29
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (4, 100.00%)
Pull Request Author Associations
- Contributor (7, 100.00%)
Top Issue Labels
- kind: bug (4)
- part: resolver (3)
- severity: crash (2)
- severity: has-workaround (1)
- crash (1)
- part: boogie (1)
- priority: next (1)
- during 2: compilation of correct program (1)