Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / utaal issue stats
Total issues: 45
Total pull requests: 72
Merged pull request: 60
Average time to close issues: about 2 months
Average time to close pull requests: 2 months
Average comments per issue: 1.07
Average comments per pull request: 1.67
Issues created
- verus-lang/verus: 16
- buildo/avenger: 4
- buildo/nozzle: 3
- rbricks/itemized: 3
- rbricks/scalog: 2
- TimelyDataflow/diagnostics: 2
- google/rerast: 2
- rust-lang/polonius: 2
- Z3Prover/z3: 2
- utaal/spsc-bip-buffer: 1
- xldenis/creusot: 1
- buildo/react-cookie-banner: 1
- buildo/revenge: 1
- creusot-rs/creusot: 1
- jonhoo/rust-ibverbs: 1
- cyphar/remainroot: 1
- buildo/spray-autoproductformat: 1
- TimelyDataflow/abomonation: 1
Pull requests created
Maintainer
Active Maintainer
- verus-lang/verus: 17
Issue Author Associations
- Contributor (19, 42.22%)
- Collaborator (16, 35.56%)
- None (6, 13.33%)
- Member (3, 6.67%)
- Owner (1, 2.22%)
Pull Request Author Associations
- Collaborator (34, 47.22%)
- Contributor (26, 36.11%)
- Member (7, 9.72%)
- None (4, 5.56%)
- Owner (1, 1.39%)
Top Issue Labels
- enhancement (4)
- bug (3)
- test-coverage (1)
- soundness (1)