Stars
⭐ 33
PRs Reviewed
266
Bot Comments
1.5K
Primary Language
Lean
Merge Rate
88.3%
Avg Time to Merge
4h
Avg Additions
+427
Avg Deletions
-775
Avg Files Changed
11
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 33
PRs Reviewed
266
Bot Comments
1.5K
Primary Language
Lean
Merge Rate
88.3%
Avg Time to Merge
4h
Avg Additions
+427
Avg Deletions
-775
Avg Files Changed
11
AI code review products active on this repository.
