Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / mschlaipfer issue stats
Total issues: 11
Total pull requests: 1
Merged pull request: 1
Average time to close issues: about 1 month
Average time to close pull requests: 1 day
Average comments per issue: 0.73
Average comments per pull request: 0.0
Issues created
Pull requests created
Maintainer
- gapt/gapt: 4
- dafny-lang/dafny: 3
Active Maintainer
Issue Author Associations
- Member (7, 63.64%)
- None (3, 27.27%)
- Contributor (1, 9.09%)
Pull Request Author Associations
- Contributor (1, 100.00%)
Top Issue Labels
- kind: bug (3)
- Bug :beetle: (2)
- severity: crash (2)
- part: code-generation (1)
- area: ffi (1)
- part: resolver (1)
- v1-issue (1)