Stars
⭐ 39
PRs Reviewed
559
Bot Comments
3.1K
Primary Language
Lean
Merge Rate
74.4%
Avg Time to Merge
6h
Avg Additions
+737
Avg Deletions
-434
Avg Files Changed
11
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 39
PRs Reviewed
559
Bot Comments
3.1K
Primary Language
Lean
Merge Rate
74.4%
Avg Time to Merge
6h
Avg Additions
+737
Avg Deletions
-434
Avg Files Changed
11
AI code review products active on this repository.
