Stars
⭐ 8.8K
PRs Reviewed
13
Bot Comments
16
Primary Language
Lean
Merge Rate
76.9%
Avg Time to Merge
3d
Avg Additions
+144
Avg Deletions
-34
Avg Files Changed
6
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 8.8K
PRs Reviewed
13
Bot Comments
16
Primary Language
Lean
Merge Rate
76.9%
Avg Time to Merge
3d
Avg Additions
+144
Avg Deletions
-34
Avg Files Changed
6
AI code review products active on this repository.
