help wantedquestion
Repository metrics
- Stars
- (2,622 個のスター)
- PR merge metrics
- (平均マージ 17d 22h) (30d で 10 merged PRs)
説明
We no longer want to support some crates; the technical debt currently blocking CI is just too much to handle. For example: the concolic support has largely gone unused, and no current maintainer is a code owner for this. What other crates should we delete?