Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / karkhaz issue stats
Total issues: 48
Total pull requests: 75
Merged pull request: 55
Average time to close issues: 4 months
Average time to close pull requests: about 1 month
Average comments per issue: 0.54
Average comments per pull request: 0.72
Issues created
Pull requests created
- model-checking/kani: 25
- awslabs/aws-build-accumulator: 25
- model-checking/cbmc-starter-kit: 8
- awslabs/aws-c-common: 6
- aws/aws-iot-device-sdk-embedded-C: 3
- model-checking/kani-github-action: 2
- veelenga/i3ipc-ruby: 1
- nyx-space/hifitime: 1
- aws/s2n-quic: 1
- sosy-lab/sv-comp: 1
- rafaelmartins/marrie: 1
- diffblue/cbmc: 1
Maintainer
Active Maintainer
Issue Author Associations
- Member (46, 95.83%)
- Contributor (1, 2.08%)
- None (1, 2.08%)
Pull Request Author Associations
- Member (67, 89.33%)
- Contributor (6, 8.00%)
- None (1, 1.33%)
- Collaborator (1, 1.33%)
Top Issue Labels
- enhancement (8)
- easy (6)
- medium-difficulty (5)
- [C] Feature / Enhancement (5)
- Z-Benchcomp (5)
- difficult (3)
- [C] Internal (3)
- critical (2)
- [I] CI / Infrastructure (2)
- documentation (1)
- performance (1)
- bug (1)
- [C] Bug (1)
Top Pull Request Labels
- Z-BenchCI (5)
- no-test (1)
- enhancement (1)
- T-RFC (1)