Ecosyste.ms: Issues

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

GitHub / Dargones issue stats

Total issues: 3
Total pull requests: 29
Merged pull request: 21
Average time to close issues: 4 months
Average time to close pull requests: about 1 month
Average comments per issue: 1.67
Average comments per pull request: 2.55

Issues created

Pull requests created

Maintainer

Active Maintainer

Issue Author Associations

  • Collaborator (3, 100.00%)

Pull Request Author Associations

  • Collaborator (22, 75.86%)
  • Contributor (5, 17.24%)
  • None (2, 6.90%)

Top Issue Labels

  • kind: bug (3)
  • part: counterexamples (1)
  • part: verifier (1)
  • during 3: execution of incorrect program (1)
  • introduced: pre-2017 (1)
  • priority: not yet (1)
  • part: test generation (1)
  • during 1: program development (1)

Top Pull Request Labels

  • part: counterexamples (4)