Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / daniel-larraz issue stats

Total issues: 11
Total pull requests: 111
Merged pull request: 103
Average time to close issues: 4 days
Average time to close pull requests: 3 days
Average comments per issue: 1.09
Average comments per pull request: 0.1

Issues created

cvc5/cvc5: 4
ultimate-pa/smtinterpol: 3
Boolector/boolector: 2
pypa/setuptools: 1
janestreet/base: 1

Pull requests created

cvc5/cvc5: 111

Maintainer

Active Maintainer

Issue Author Associations

None (8, 72.73%)
Contributor (3, 27.27%)

Pull Request Author Associations

Contributor (111, 100.00%)

Top Issue Labels

bug (1)
duplicate (1)

Top Pull Request Labels

normal (88)
simple (81)
ci (31)
moderate (27)
minor (16)
major (5)