Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / NikolajBjorner issue stats
Total issues: 8
Total pull requests: 32
Merged pull request: 26
Average time to close issues: 4 months
Average time to close pull requests: 1 day
Average comments per issue: 11.0
Average comments per pull request: 0.19
Issues created
Pull requests created
- Z3Prover/z3: 26
- Z3Prover/z3test: 3
- Z3Prover/doc: 1
- AutomataDotNet/srm: 1
- koka-lang/madoko: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (6, 75.00%)
- Collaborator (2, 25.00%)
Pull Request Author Associations
- Contributor (31, 96.88%)
- None (1, 3.13%)
Top Issue Labels
- javascript (1)
- Floats (1)