Ecosyste.ms: Issues

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

GitHub / jaisnan issue stats

Total issues: 19
Total pull requests: 33
Merged pull request: 24
Average time to close issues: 6 months
Average time to close pull requests: 10 days
Average comments per issue: 0.74
Average comments per pull request: 0.52

Issues created

model-checking/kani: 16
model-checking/kani-github-action: 1
diffblue/cbmc: 1
model-checking/cbmc-starter-kit: 1

Pull requests created

model-checking/kani: 25
model-checking/kani-github-action: 8

Maintainer

Active Maintainer

Issue Author Associations

Contributor (17, 89.47%)
None (2, 10.53%)

Pull Request Author Associations

Contributor (33, 100.00%)

Top Issue Labels

[C] Internal (5)
[C] Bug (4)
[C] Feature / Enhancement (3)
Z-IDE Extension (3)
[E] User Experience (1)
[C] Documentation (1)
[I] CI / Infrastructure (1)
T-High Priority (1)
[F] Crash (1)
enhancement (1)
More info needed (1)

Top Pull Request Labels

Z-BenchCI (17)
[I] Refactoring / Clean Up (1)