Stars
โญ 15
PRs Reviewed
6
Bot Comments
18
Primary Language
Lean
Merge Rate
100.0%
Avg Time to Merge
10d
Avg Additions
+1.6K
Avg Deletions
-557
Avg Files Changed
15
AI Review Products#
AI code review products active on this repository.
Stars
โญ 15
PRs Reviewed
6
Bot Comments
18
Primary Language
Lean
Merge Rate
100.0%
Avg Time to Merge
10d
Avg Additions
+1.6K
Avg Deletions
-557
Avg Files Changed
15
AI code review products active on this repository.