Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / sjunges issue stats
Total issues: 23
Total pull requests: 30
Merged pull request: 27
Average time to close issues: 7 months
Average time to close pull requests: 11 days
Average comments per issue: 1.61
Average comments per pull request: 0.83
Issues created
- moves-rwth/stormpy: 16
- moves-rwth/pycarl: 2
- mvcisback/dfa: 1
- cvc5/cvc5: 1
- marcoeilers/nagini: 1
- scipopt/soplex: 1
- mvcisback/py-aiger: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (20, 86.96%)
- None (3, 13.04%)
Pull Request Author Associations
- Contributor (30, 100.00%)
Top Issue Labels
- wontfix (1)
- unwanted behavior (1)
- enhancement (1)