Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / jtristan issue stats
Total issues: 10
Total pull requests: 24
Merged pull request: 15
Average time to close issues: 3 months
Average time to close pull requests: about 2 months
Average comments per issue: 5.9
Average comments per pull request: 0.29
Issues created
- dafny-lang/dafny: 10
Pull requests created
- dafny-lang/dafny: 24
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (10, 100.00%)
Pull Request Author Associations
- Contributor (24, 100.00%)
Top Issue Labels
- kind: bug (8)
- severity: soundness (logic) (3)
- kind: enhancement (3)
- priority: not yet (2)
- severity: soundness (language server) (1)
- part: verifier (1)
- severity: crash (1)
- part: parser (1)
- area: error-reporting (1)
- during 3: execution of incorrect program (1)
- incompleteness (1)
- during 2: compilation of correct program (1)
Top Pull Request Labels
- run-deep-tests (2)