Stars
⭐ 11
PRs Reviewed
23
Bot Comments
748
Primary Language
Lean
Merge Rate
47.8%
Avg Time to Merge
9h
Avg Additions
+25.2K
Avg Deletions
-9.5K
Avg Files Changed
114
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 11
PRs Reviewed
23
Bot Comments
748
Primary Language
Lean
Merge Rate
47.8%
Avg Time to Merge
9h
Avg Additions
+25.2K
Avg Deletions
-9.5K
Avg Files Changed
114
AI code review products active on this repository.
