Stars
⭐ 3
PRs Reviewed
24
Bot Comments
8
Primary Language
Lean
Merge Rate
16.7%
Avg Time to Merge
12h
Avg Additions
+5.0K
Avg Deletions
-208
Avg Files Changed
100
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 3
PRs Reviewed
24
Bot Comments
8
Primary Language
Lean
Merge Rate
16.7%
Avg Time to Merge
12h
Avg Additions
+5.0K
Avg Deletions
-208
Avg Files Changed
100
AI code review products active on this repository.
