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

Issues created

runtimeverification/rv-monitor: 3
runtimeverification/go-config: 3

Pull requests created

runtimeverification/kevm-ethereumjs-vm: 43
runtimeverification/ercx-test-action: 24
runtimeverification/ercx-classify-action: 21
runtimeverification/kevm-ganache-cli: 21
runtimeverification/rv-monitor: 18
runtimeverification/kevm-ganache-core: 7

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

dwightguth (13)
ehildenb (4)

Active Maintainers

Top Issue Authors

charala1 (3)
devturnip (1)
nuaaxh (1)
owolabileg (1)

Top Pull Request Authors

dependabot[bot] 🤖 (46)
eviefp (21)
anvacaru (20)
gtrepta (14)
dwightguth (13)
yzhang90 (7)
msaxena2 (6)
ehildenb (4)
jinxinglim (1)
mylibero (1)
virgil-serbanuta (1)

Top Issue Labels

Top Pull Request Labels

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