Stars
⭐ 282
PRs Reviewed
1
Bot Comments
5
Primary Language
Lean
Merge Rate
0.0%
Avg Time to Merge
—
Avg Additions
+7.4K
Avg Deletions
-725
Avg Files Changed
62
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 282
PRs Reviewed
1
Bot Comments
5
Primary Language
Lean
Merge Rate
0.0%
Avg Time to Merge
—
Avg Additions
+7.4K
Avg Deletions
-725
Avg Files Changed
62
AI code review products active on this repository.
