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: 27
Merged pull request: 19
Average time to close issues: 4 months
Average time to close pull requests: about 2 months
Average comments per issue: 1.67
Average comments per pull request: 2.37

Issues created

Pull requests created

Maintainer

Active Maintainer

Issue Author Associations

  • Collaborator (3, 100.00%)

Pull Request Author Associations

  • Collaborator (21, 77.78%)
  • Contributor (4, 14.81%)
  • None (2, 7.41%)

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 (3)