Stars
⭐ 87
PRs Reviewed
46
Bot Comments
405
Primary Language
Lean
Merge Rate
41.3%
Avg Time to Merge
6h
Avg Additions
+1.8K
Avg Deletions
-558
Avg Files Changed
15
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 87
PRs Reviewed
46
Bot Comments
405
Primary Language
Lean
Merge Rate
41.3%
Avg Time to Merge
6h
Avg Additions
+1.8K
Avg Deletions
-558
Avg Files Changed
15
AI code review products active on this repository.
