Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / linusheck issue stats

Total issues: 6
Total pull requests: 6
Merged pull request: 4
Average time to close issues: 2 days
Average time to close pull requests: about 5 hours
Average comments per issue: 2.0
Average comments per pull request: 0.83

Issues created

moves-rwth/stormpy: 3
Z3Prover/z3: 2
FluxML/Optimisers.jl: 1

Pull requests created

nilsding/helpers: 3
moves-rwth/stormpy: 2
Z3Prover/z3: 1

Maintainer

Active Maintainer

Issue Author Associations

None (4, 66.67%)
Contributor (2, 33.33%)

Pull Request Author Associations

Contributor (4, 66.67%)
None (2, 33.33%)

Top Issue Labels

enhancement (1)

Top Pull Request Labels

lang: Java (3)