GitHub / ruriww issue stats
Total issues: 1
Total pull requests: 2
Merged pull request: 1
Average time to close issues: 5 days
Average time to close pull requests: 44 minutes
Average comments per issue: 1.0
Average comments per pull request: 0.0
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (1, 100.00%)
Pull Request Author Associations
- None (1, 50.00%)
- Contributor (1, 50.00%)
Top Issue Labels
- I-ICE (1)
- T-compiler (1)
- C-bug (1)
- S-has-mcve (1)
- fixed-by-next-solver (1)