Stars
⭐ 148
PRs Reviewed
64
Bot Comments
532
Primary Language
Lean
Merge Rate
34.4%
Avg Time to Merge
5h
Avg Additions
+1.5K
Avg Deletions
-436
Avg Files Changed
16
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 148
PRs Reviewed
64
Bot Comments
532
Primary Language
Lean
Merge Rate
34.4%
Avg Time to Merge
5h
Avg Additions
+1.5K
Avg Deletions
-436
Avg Files Changed
16
AI code review products active on this repository.
