Stars
⭐ 233
PRs Reviewed
3
Bot Comments
6
Primary Language
Lean
Merge Rate
66.7%
Avg Time to Merge
6h
Avg Additions
+113
Avg Deletions
-94
Avg Files Changed
15
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 233
PRs Reviewed
3
Bot Comments
6
Primary Language
Lean
Merge Rate
66.7%
Avg Time to Merge
6h
Avg Additions
+113
Avg Deletions
-94
Avg Files Changed
15
AI code review products active on this repository.
