Stars
⭐ 0
PRs Reviewed
18
Bot Comments
50
Primary Language
Lean
Merge Rate
72.2%
Avg Time to Merge
12m
Avg Additions
+491
Avg Deletions
-316
Avg Files Changed
13
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 0
PRs Reviewed
18
Bot Comments
50
Primary Language
Lean
Merge Rate
72.2%
Avg Time to Merge
12m
Avg Additions
+491
Avg Deletions
-316
Avg Files Changed
13
AI code review products active on this repository.
