GitHub / esteffin issue stats
Total issues: 12
Total pull requests: 30
Merged pull request: 25
Average time to close issues: about 5 hours
Average time to close pull requests: 4 days
Average comments per issue: 0.25
Average comments per pull request: 1.23
Issues created
- diffblue/cbmc: 12
Pull requests created
- diffblue/cbmc: 29
- github/codeql: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (12, 100.00%)
Pull Request Author Associations
- Contributor (30, 100.00%)
Top Issue Labels
- Incomplete Incremental SMT2 (10)
- Build (1)
- blocker (1)
- RFC (1)
- Version 6 (1)
Top Pull Request Labels
- do not merge (3)
- do not review (2)
- Version 6 (1)
- aws (1)
- aws-high (1)
- C++ (1)
- no-change-note-required (1)