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