GitHub / andrewjdawson2016 issue stats
Total issues: 5
Total pull requests: 1
Merged pull request: 0
Average time to close issues: almost 4 years
Average time to close pull requests: 1 minute
Average comments per issue: 1.0
Average comments per pull request: 0.0
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (3, 60.00%)
- None (2, 40.00%)
Pull Request Author Associations
- None (1, 100.00%)
Top Issue Labels
- workflow-query (2)
- improvement (1)
- invariant-verification (1)
- feature (1)
- bug (1)