Stars
⭐ 1
PRs Reviewed
122
Bot Comments
280
Primary Language
Lean
Merge Rate
87.7%
Avg Time to Merge
3h
Avg Additions
+99
Avg Deletions
-34
Avg Files Changed
3
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 1
PRs Reviewed
122
Bot Comments
280
Primary Language
Lean
Merge Rate
87.7%
Avg Time to Merge
3h
Avg Additions
+99
Avg Deletions
-34
Avg Files Changed
3
AI code review products active on this repository.
