Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / Anthonysdu issue stats
Total issues: 4
Total pull requests: 2
Merged pull request: 2
Average time to close issues: 16 days
Average time to close pull requests: 2 days
Average comments per issue: 2.0
Average comments per pull request: 0.5
Issues created
- diffblue/cbmc: 2
- sosy-lab/benchexec: 1
- cvc5/cvc5: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (3, 75.00%)
- Contributor (1, 25.00%)
Pull Request Author Associations
- Contributor (2, 100.00%)
Top Issue Labels
- resource allocation (1)
- Pointer Modelling (1)
Top Pull Request Labels
- tool support (2)