Stars
โญ 1
PRs Reviewed
2
Bot Comments
8
Primary Language
Lean
Merge Rate
100.0%
Avg Time to Merge
12m
Avg Additions
+1.1K
Avg Deletions
-258
Avg Files Changed
60
AI Review Products#
AI code review products active on this repository.
Stars
โญ 1
PRs Reviewed
2
Bot Comments
8
Primary Language
Lean
Merge Rate
100.0%
Avg Time to Merge
12m
Avg Additions
+1.1K
Avg Deletions
-258
Avg Files Changed
60
AI code review products active on this repository.