Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / Chris-Hawblitzel issue stats
Total issues: 3
Total pull requests: 15
Merged pull request: 11
Average time to close issues: about 2 hours
Average time to close pull requests: 18 days
Average comments per issue: 0.33
Average comments per pull request: 1.87
Issues created
Pull requests created
- verus-lang/verus: 15
Maintainer
- verus-lang/verus: 17
- dafny-lang/dafny: 1
Active Maintainer
- verus-lang/verus: 12
- dafny-lang/dafny: 1
Issue Author Associations
- Collaborator (3, 100.00%)
Pull Request Author Associations
- Collaborator (15, 100.00%)
Top Issue Labels
- kind: bug (1)
- part: verifier (1)
- priority: not yet (1)
- during 1: program development (1)