Stars
โญ 1
PRs Reviewed
1
Bot Comments
17
Primary Language
Lean
Merge Rate
0.0%
Avg Time to Merge
โ
Avg Additions
+100.9K
Avg Deletions
-670
Avg Files Changed
112
AI Review Products#
AI code review products active on this repository.
Stars
โญ 1
PRs Reviewed
1
Bot Comments
17
Primary Language
Lean
Merge Rate
0.0%
Avg Time to Merge
โ
Avg Additions
+100.9K
Avg Deletions
-670
Avg Files Changed
112
AI code review products active on this repository.