help wantedquestion
Repository-Metriken
- Stars
- (2.622 Sterne)
- PR-Merge-Metriken
- (Durchschn. Merge 17T 22h) (10 gemergte PRs in 30 T)
Beschreibung
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?