Ecosyste.ms: Issues

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

GitHub / vfukala issue stats

Total issues: 5
Total pull requests: 9
Merged pull request: 9
Average time to close issues: about 1 hour
Average time to close pull requests: about 17 hours
Average comments per issue: 1.6
Average comments per pull request: 0.67

Issues created

viperproject/prusti-dev: 2
Inventory-Tweaks/inventory-tweaks: 2
coq/coq: 1

Pull requests created

mit-plv/bedrock2: 8
mit-plv/coqutil: 1

Maintainer

Active Maintainer

Issue Author Associations

None (5, 100.00%)

Pull Request Author Associations

Contributor (9, 100.00%)

Top Issue Labels

duplicate (2)
documentation (1)
bug (1)
good first issue (1)
part: ltac (1)
kind: bug (1)