Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / celinval issue stats
Total issues: 149
Total pull requests: 183
Merged pull request: 135
Average time to close issues: 4 months
Average time to close pull requests: 5 days
Average comments per issue: 1.97
Average comments per pull request: 2.22
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (140, 93.96%)
- None (6, 4.03%)
- Collaborator (3, 2.01%)
Pull Request Author Associations
- Contributor (183, 100.00%)
Top Issue Labels
- [C] Feature / Enhancement (36)
- [C] Bug (34)
- [C] Internal (17)
- Z-Contracts (10)
- [I] Refactoring / Clean Up (7)
- [E] User Experience (6)
- good first issue (5)
- Z-Kani Compiler (5)
- [E] Performance (4)
- Z-UnstableFeature (4)
- [F] Crash (4)
- T-User (3)
- [F] Soundness (3)
- T-CBMC (3)
- bug (2)
Top Pull Request Labels
- Z-BenchCI (64)
- T-compiler (56)
- S-waiting-on-bors (33)
- S-waiting-on-review (24)
- merged-by-bors (4)
- Z-Contracts (3)
- T-RFC (2)
- A-meta (1)