Stars
⭐ 175
PRs Reviewed
25
Bot Comments
96
Primary Language
Lean
Merge Rate
32.0%
Avg Time to Merge
6d
Avg Additions
+294
Avg Deletions
-203
Avg Files Changed
5
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 175
PRs Reviewed
25
Bot Comments
96
Primary Language
Lean
Merge Rate
32.0%
Avg Time to Merge
6d
Avg Additions
+294
Avg Deletions
-203
Avg Files Changed
5
AI code review products active on this repository.
