Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / lenianiva issue stats
Total issues: 22
Total pull requests: 6
Merged pull request: 3
Average time to close issues: 7 days
Average time to close pull requests: about 1 month
Average comments per issue: 2.86
Average comments per pull request: 1.5
Issues created
Pull requests created
- cvc5/cvc5: 2
- elkowar/eww: 1
- CadQuery/cadquery: 1
- doomemacs/doomemacs: 1
- verus-lang/verus: 1
Maintainer
- cvc5/cvc5: 2
- verus-lang/verus: 1
Active Maintainer
- cvc5/cvc5: 2
- verus-lang/verus: 1
Issue Author Associations
- None (17, 77.27%)
- Contributor (5, 22.73%)
Pull Request Author Associations
- Member (2, 33.33%)
- Contributor (2, 33.33%)
- None (1, 16.67%)
- Collaborator (1, 16.67%)
Top Issue Labels
- question (6)
- bug (3)
- enhancement (2)
- assembly (1)
- sketching (1)
- type/bug (1)
Top Pull Request Labels
- bug (1)
- minor (1)
- simple (1)
- is:feature (1)
- re:modules (1)
- was:moved (1)
- module:lang/lean (1)
- feature (1)
- normal (1)
- do not merge (1)
- work in progress (1)
- engineer (1)