Stars
⭐ 1
PRs Reviewed
14
Bot Comments
30
Primary Language
Lean
Merge Rate
71.4%
Avg Time to Merge
2h
Avg Additions
+279
Avg Deletions
-74
Avg Files Changed
5
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 1
PRs Reviewed
14
Bot Comments
30
Primary Language
Lean
Merge Rate
71.4%
Avg Time to Merge
2h
Avg Additions
+279
Avg Deletions
-74
Avg Files Changed
5
AI code review products active on this repository.
