Stars
⭐ 16
PRs Reviewed
2
Bot Comments
12
Primary Language
Lean
Merge Rate
100.0%
Avg Time to Merge
28h
Avg Additions
+898
Avg Deletions
-34
Avg Files Changed
20
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 16
PRs Reviewed
2
Bot Comments
12
Primary Language
Lean
Merge Rate
100.0%
Avg Time to Merge
28h
Avg Additions
+898
Avg Deletions
-34
Avg Files Changed
20
AI code review products active on this repository.
