Stars
⭐ 0
PRs Reviewed
14
Bot Comments
6
Primary Language
Lean
Merge Rate
85.7%
Avg Time to Merge
1h
Avg Additions
+20.9K
Avg Deletions
-38.5K
Avg Files Changed
91
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 0
PRs Reviewed
14
Bot Comments
6
Primary Language
Lean
Merge Rate
85.7%
Avg Time to Merge
1h
Avg Additions
+20.9K
Avg Deletions
-38.5K
Avg Files Changed
91
AI code review products active on this repository.
