Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / r0ayane issue stats
Total issues: 10
Total pull requests: 0
Merged pull request: 0
Average time to close issues: 5 days
Average time to close pull requests: N/A
Average comments per issue: 0.3
Average comments per pull request: 0
Issues created
- Z3Prover/z3: 7
- cvc5/cvc5: 2
- SRI-CSL/yices2: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (10, 100.00%)
Pull Request Author Associations
Top Issue Labels
- performance (2)
- bug (1)