Ecosyste.ms: Issues

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

GitHub / runtimeverification issue stats

Total issues: 6
Total pull requests: 134
Merged pull request: 75
Average time to close issues: about 1 hour
Average time to close pull requests: 8 days
Average comments per issue: 0.67
Average comments per pull request: 0.43


Issue owner Associations

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

Pull Request owner Associations

  • None (102, 76.12%)
  • Member (17, 12.69%)
  • Contributor (15, 11.19%)

All Maintainers

Active Maintainers


Top Issue Authors

Top Pull Request Authors


Top Issue Labels

Top Pull Request Labels

  • dependencies (46)
  • javascript (43)
  • github_actions (1)