Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / levnach issue stats
Total issues: 7
Total pull requests: 57
Merged pull request: 41
Average time to close issues: about 1 month
Average time to close pull requests: 3 days
Average comments per issue: 3.57
Average comments per pull request: 0.18
Issues created
Pull requests created
- Z3Prover/z3: 35
- microsoft/msagljs: 20
- Z3Prover/doc: 1
- Z3Prover/z3test: 1
Maintainer
- Z3Prover/doc: 1
Active Maintainer
Issue Author Associations
- None (4, 57.14%)
- Contributor (3, 42.86%)
Pull Request Author Associations
- Contributor (56, 98.25%)
- Collaborator (1, 1.75%)
Top Issue Labels
- nlsat (1)