Stars
⭐ 7
PRs Reviewed
2
Bot Comments
5
Primary Language
Lean
Merge Rate
100.0%
Avg Time to Merge
10h
Avg Additions
+2.2K
Avg Deletions
-708
Avg Files Changed
186
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 7
PRs Reviewed
2
Bot Comments
5
Primary Language
Lean
Merge Rate
100.0%
Avg Time to Merge
10h
Avg Additions
+2.2K
Avg Deletions
-708
Avg Files Changed
186
AI code review products active on this repository.
