Stars
⭐ 6
PRs Reviewed
5
Bot Comments
84
Primary Language
Lean
Merge Rate
60.0%
Avg Time to Merge
10h
Avg Additions
+6.1K
Avg Deletions
-931
Avg Files Changed
49
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 6
PRs Reviewed
5
Bot Comments
84
Primary Language
Lean
Merge Rate
60.0%
Avg Time to Merge
10h
Avg Additions
+6.1K
Avg Deletions
-931
Avg Files Changed
49
AI code review products active on this repository.
