GitHub / javierdiaz72 issue stats
Total issues: 3
Total pull requests: 6
Merged pull request: 6
Average time to close issues: about 2 hours
Average time to close pull requests: 3 days
Average comments per issue: 2.67
Average comments per pull request: 1.17
Issues created
- agda/agda-stdlib: 2
- agda/agda: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (3, 100.00%)
Pull Request Author Associations
- Contributor (4, 66.67%)
- Collaborator (2, 33.33%)
Top Issue Labels
- type: bug (1)
- extended lambdas (1)
- opaque (1)
Top Pull Request Labels
- enhancement (1)
- formal-spec (1)
- conformance (1)
- documentation (1)
- bug (1)