Stars
โญ 13
PRs Reviewed
4
Bot Comments
27
Primary Language
Lean
Merge Rate
0.0%
Avg Time to Merge
โ
Avg Additions
+2.3K
Avg Deletions
-287
Avg Files Changed
23
AI Review Products#
AI code review products active on this repository.
Stars
โญ 13
PRs Reviewed
4
Bot Comments
27
Primary Language
Lean
Merge Rate
0.0%
Avg Time to Merge
โ
Avg Additions
+2.3K
Avg Deletions
-287
Avg Files Changed
23
AI code review products active on this repository.