Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / fabiomadge issue stats
Total issues: 14
Total pull requests: 52
Merged pull request: 41
Average time to close issues: 2 months
Average time to close pull requests: 13 days
Average comments per issue: 1.21
Average comments per pull request: 0.23
Issues created
- dafny-lang/dafny: 13
- github/pages-gem: 1
Pull requests created
- dafny-lang/dafny: 51
- github/pages-gem: 1
Maintainer
- dafny-lang/dafny: 64
Active Maintainer
- dafny-lang/dafny: 47
Issue Author Associations
- Collaborator (13, 92.86%)
- None (1, 7.14%)
Pull Request Author Associations
- Collaborator (51, 98.08%)
- None (1, 1.92%)
Top Issue Labels
- kind: bug (11)
- part: code-generation (6)
- during 2: compilation of correct program (6)
- lang: java (4)
- lang: c# (4)
- invalid translated code (2)
- priority: next (2)
- crash (2)
- lang: go (2)
- lang: python (2)
- severity: crash (1)
- part: resolver (1)
- during 1: program development (1)
- part: verifier (1)
- part: CLI (1)
Top Pull Request Labels
- run-deep-tests (4)