GitHub / NikolajBjorner issue stats
Total issues: 17
Total pull requests: 28
Merged pull request: 18
Average time to close issues: 4 months
Average time to close pull requests: 2 days
Average comments per issue: 6.71
Average comments per pull request: 0.32
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (14, 82.35%)
- Collaborator (2, 11.76%)
- None (1, 5.88%)
Pull Request Author Associations
- Contributor (25, 89.29%)
- Collaborator (2, 7.14%)
- None (1, 3.57%)
Top Issue Labels
- bug (3)
- javascript (2)
- Floats (1)
- performance (1)
- Arithmetic (1)
- Debug (1)
- no-repro (1)
- string (1)
- build/release (1)