help wantedquestion
Repository metrics
- Stars
- (2,615 stars)
- PR merge metrics
- (Avg merge 17d 22h) (10 merged PRs in 30d)
Description
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?