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