Stars
⭐ 0
PRs Reviewed
436
Bot Comments
60
Primary Language
Lean
Merge Rate
71.1%
Avg Time to Merge
7h
Avg Additions
+461
Avg Deletions
-197
Avg Files Changed
4
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 0
PRs Reviewed
436
Bot Comments
60
Primary Language
Lean
Merge Rate
71.1%
Avg Time to Merge
7h
Avg Additions
+461
Avg Deletions
-197
Avg Files Changed
4
AI code review products active on this repository.
