Stars
⭐ 47
PRs Reviewed
327
Bot Comments
473
Primary Language
Lean
Merge Rate
96.9%
Avg Time to Merge
42m
Avg Additions
+354
Avg Deletions
-204
Avg Files Changed
8
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 47
PRs Reviewed
327
Bot Comments
473
Primary Language
Lean
Merge Rate
96.9%
Avg Time to Merge
42m
Avg Additions
+354
Avg Deletions
-204
Avg Files Changed
8
AI code review products active on this repository.
