Ecosyste.ms: Issues

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

GitHub / celinval issue stats

Total issues: 191
Total pull requests: 217
Merged pull request: 161
Average time to close issues: 4 months
Average time to close pull requests: 5 days
Average comments per issue: 1.9
Average comments per pull request: 2.14

Issues created

Pull requests created

Maintainer

Active Maintainer

Issue Author Associations

  • Contributor (181, 94.76%)
  • None (6, 3.14%)
  • Collaborator (4, 2.09%)

Pull Request Author Associations

  • Contributor (217, 100.00%)

Top Issue Labels

  • [C] Feature / Enhancement (55)
  • [C] Bug (48)
  • [C] Internal (17)
  • [E] User Experience (14)
  • Z-Contracts (10)
  • [F] Soundness (7)
  • [I] Refactoring / Clean Up (7)
  • [F] Crash (7)
  • [E] Unsupported UB (6)
  • good first issue (5)
  • Z-Kani Compiler (5)
  • T-CBMC (5)
  • Z-UnstableFeature (5)
  • T-User (4)
  • [E] Performance (4)

Top Pull Request Labels

  • Z-BenchCI (83)
  • T-compiler (58)
  • S-waiting-on-bors (38)
  • S-waiting-on-review (26)
  • A-meta (6)
  • merged-by-bors (4)
  • Z-Contracts (3)
  • T-RFC (2)
  • A-stable-MIR (2)