Stars
⭐ 0
PRs Reviewed
155
Bot Comments
329
Primary Language
Lean
Merge Rate
65.2%
Avg Time to Merge
42m
Avg Additions
+1.9K
Avg Deletions
-47
Avg Files Changed
10
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 0
PRs Reviewed
155
Bot Comments
329
Primary Language
Lean
Merge Rate
65.2%
Avg Time to Merge
42m
Avg Additions
+1.9K
Avg Deletions
-47
Avg Files Changed
10
AI code review products active on this repository.
