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: 59
Merged pull request: 42
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.19
Issues created
Pull requests created
- Z3Prover/z3: 35
- microsoft/msagljs: 20
- Z3Prover/z3test: 2
- Z3Prover/doc: 1
- leanprover/tutorial: 1
Maintainer
- Z3Prover/doc: 1
Active Maintainer
Issue Author Associations
- None (4, 57.14%)
- Contributor (3, 42.86%)
Pull Request Author Associations
- Contributor (58, 98.31%)
- Collaborator (1, 1.69%)
Top Issue Labels
- nlsat (1)