Stars
⭐ 85
PRs Reviewed
15
Bot Comments
18
Primary Language
Lean
Merge Rate
66.7%
Avg Time to Merge
14h
Avg Additions
+1.5K
Avg Deletions
-362
Avg Files Changed
19
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 85
PRs Reviewed
15
Bot Comments
18
Primary Language
Lean
Merge Rate
66.7%
Avg Time to Merge
14h
Avg Additions
+1.5K
Avg Deletions
-362
Avg Files Changed
19
AI code review products active on this repository.
