Stars
⭐ 48
PRs Reviewed
23
Bot Comments
192
Primary Language
Lean
Merge Rate
82.6%
Avg Time to Merge
5h
Avg Additions
+1.8K
Avg Deletions
-360
Avg Files Changed
19
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 48
PRs Reviewed
23
Bot Comments
192
Primary Language
Lean
Merge Rate
82.6%
Avg Time to Merge
5h
Avg Additions
+1.8K
Avg Deletions
-360
Avg Files Changed
19
AI code review products active on this repository.
