Stars
⭐ 45
PRs Reviewed
2
Bot Comments
6
Primary Language
Lean
Merge Rate
100.0%
Avg Time to Merge
3d
Avg Additions
+273.8K
Avg Deletions
-53.8K
Avg Files Changed
443
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 45
PRs Reviewed
2
Bot Comments
6
Primary Language
Lean
Merge Rate
100.0%
Avg Time to Merge
3d
Avg Additions
+273.8K
Avg Deletions
-53.8K
Avg Files Changed
443
AI code review products active on this repository.
