GitHub / amaurremi issue stats
Total issues: 8
Total pull requests: 11
Merged pull request: 10
Average time to close issues: 3 days
Average time to close pull requests: 8 days
Average comments per issue: 0.88
Average comments per pull request: 1.45
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (4, 50.00%)
- Contributor (4, 50.00%)
Pull Request Author Associations
- Contributor (11, 100.00%)
Top Issue Labels
- part: resolver (3)
- kind: bug (2)
- severity: crash (2)
- kind: enhancement (1)
- part: language definition (1)
- has-workaround: yes (1)
- during 2: compilation of correct program (1)