GitHub / jhjourdan issue stats
Total issues: 51
Total pull requests: 122
Merged pull request: 120
Average time to close issues: 12 months
Average time to close pull requests: about 13 hours
Average comments per issue: 2.45
Average comments per pull request: 0.82
Issues created
- creusot-rs/creusot: 41
- xldenis/creusot: 6
- ocaml/ocaml: 1
- stan-dev/rstan: 1
- stan-dev/stan: 1
- dbuenzli/down: 1
Pull requests created
Maintainer
- creusot-rs/creusot: 133
- xldenis/creusot: 24
- stedolan/ocaml: 1
Active Maintainer
- creusot-rs/creusot: 114
Issue Author Associations
- Collaborator (47, 92.16%)
- None (3, 5.88%)
- Contributor (1, 1.96%)
Pull Request Author Associations
- Collaborator (111, 90.98%)
- Contributor (10, 8.20%)
- None (1, 0.82%)
Top Issue Labels
- enhancement (18)
- bug (15)
- soundness (11)
- pearlite (5)
- high-priority (5)
- low-priority (3)
- error-messages (3)
- known-fix (3)
- easy (3)
- crash (3)
- toolchain (1)
- cargo-creusot (1)
- internship-project (1)