Stars
โญ 2
PRs Reviewed
1
Bot Comments
3
Primary Language
Lean
Merge Rate
100.0%
Avg Time to Merge
36m
Avg Additions
+2.5K
Avg Deletions
-398
Avg Files Changed
13
AI Review Products#
AI code review products active on this repository.
Stars
โญ 2
PRs Reviewed
1
Bot Comments
3
Primary Language
Lean
Merge Rate
100.0%
Avg Time to Merge
36m
Avg Additions
+2.5K
Avg Deletions
-398
Avg Files Changed
13
AI code review products active on this repository.