GitHub / volodeyka issue stats
Total issues: 8
Total pull requests: 37
Merged pull request: 24
Average time to close issues: 5 months
Average time to close pull requests: 10 days
Average comments per issue: 1.5
Average comments per pull request: 0.38
Issues created
Pull requests created
- verse-lab/coq-lgtm: 18
- volodeyka/okasaki: 11
- coq-community/alea: 4
- math-comp/finmap: 1
- nomeata/loogle: 1
- valis/dt2021: 1
- verse-lab/sisyphus: 1
Maintainer
Active Maintainer
Issue Author Associations
- None (4, 50.00%)
- Owner (2, 25.00%)
- Contributor (2, 25.00%)
Pull Request Author Associations
- Contributor (20, 54.05%)
- Owner (11, 29.73%)
- Collaborator (5, 13.51%)
- None (1, 2.70%)
Top Issue Labels
- wontfix (2)