Stars
⭐ 0
PRs Reviewed
12
Bot Comments
1
Primary Language
Lean
Merge Rate
66.7%
Avg Time to Merge
3h
Avg Additions
+1.5K
Avg Deletions
-8
Avg Files Changed
7
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 0
PRs Reviewed
12
Bot Comments
1
Primary Language
Lean
Merge Rate
66.7%
Avg Time to Merge
3h
Avg Additions
+1.5K
Avg Deletions
-8
Avg Files Changed
7
AI code review products active on this repository.
