Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / Indanz issue stats
Total issues: 4
Total pull requests: 11
Merged pull request: 8
Average time to close issues: N/A
Average time to close pull requests: 8 days
Average comments per issue: 6.0
Average comments per pull request: 1.73
Issues created
Pull requests created
- sel4/sel4test: 6
- sel4/sel4bench: 2
- sel4/util_libs: 2
- seL4/seL4: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (2, 50.00%)
- None (2, 50.00%)
Pull Request Author Associations
- Contributor (11, 100.00%)
Top Issue Labels
Top Pull Request Labels
- hw-test (3)
- verification (1)