Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / dschoepe issue stats
Total issues: 14
Total pull requests: 30
Merged pull request: 30
Average time to close issues: 12 days
Average time to close pull requests: 9 days
Average comments per issue: 1.0
Average comments per pull request: 0.2
Issues created
Pull requests created
Maintainer
Active Maintainer
- dafny-lang/dafny: 10
Issue Author Associations
- Collaborator (9, 64.29%)
- None (4, 28.57%)
- Contributor (1, 7.14%)
Pull Request Author Associations
- Contributor (25, 83.33%)
- Collaborator (5, 16.67%)
Top Issue Labels
- kind: bug (5)
- kind: enhancement (4)
- part: resolver (1)
- priority: next (1)
- during 2: compilation of correct program (1)
- priority: not yet (1)
- during 1: program development (1)