Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / utaal issue stats
Total issues: 49
Total pull requests: 82
Merged pull request: 70
Average time to close issues: about 2 months
Average time to close pull requests: 2 months
Average comments per issue: 1.06
Average comments per pull request: 1.8
Issues created
- verus-lang/verus: 20
- buildo/avenger: 4
- rbricks/itemized: 3
- buildo/nozzle: 3
- Z3Prover/z3: 2
- TimelyDataflow/diagnostics: 2
- google/rerast: 2
- rbricks/scalog: 2
- rust-lang/polonius: 2
- buildo/revenge: 1
- TimelyDataflow/abomonation: 1
- cyphar/remainroot: 1
- buildo/spray-autoproductformat: 1
- xldenis/creusot: 1
- utaal/spsc-bip-buffer: 1
- jonhoo/rust-ibverbs: 1
- buildo/react-cookie-banner: 1
- creusot-rs/creusot: 1
Pull requests created
Maintainer
Active Maintainer
- verus-lang/verus: 31
Issue Author Associations
- Collaborator (20, 40.82%)
- Contributor (19, 38.78%)
- None (6, 12.24%)
- Member (3, 6.12%)
- Owner (1, 2.04%)
Pull Request Author Associations
- Collaborator (44, 53.66%)
- Contributor (26, 31.71%)
- Member (7, 8.54%)
- None (4, 4.88%)
- Owner (1, 1.22%)
Top Issue Labels
- enhancement (4)
- bug (3)
- test-coverage (1)
- soundness (1)