Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / tedinski issue stats

Total issues: 12
Total pull requests: 3
Merged pull request: 3
Average time to close issues: over 1 year
Average time to close pull requests: about 17 hours
Average comments per issue: 3.0
Average comments per pull request: 1.0

Issues created

model-checking/kani: 10
stanislav-tkach/os_info: 1
model-checking/cbmc-viewer: 1

Pull requests created

rust-vmm/vm-virtio: 2
model-checking/kani-github-action: 1

Maintainer

Active Maintainer

Issue Author Associations

Contributor (10, 83.33%)
None (2, 16.67%)

Pull Request Author Associations

Contributor (3, 100.00%)

Top Issue Labels

[C] Feature / Enhancement (5)
[C] Bug (2)
[E] User Experience (2)
[C] Internal (2)
[E] Unsupported Construct (1)
[F] Crash (1)
T-User (1)