Stars
⭐ 0
PRs Reviewed
21
Bot Comments
199
Primary Language
Lean
Merge Rate
90.5%
Avg Time to Merge
1h
Avg Additions
+10.2K
Avg Deletions
-112
Avg Files Changed
30
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 0
PRs Reviewed
21
Bot Comments
199
Primary Language
Lean
Merge Rate
90.5%
Avg Time to Merge
1h
Avg Additions
+10.2K
Avg Deletions
-112
Avg Files Changed
30
AI code review products active on this repository.
