Stars
⭐ 48
PRs Reviewed
2
Bot Comments
12
Primary Language
Lean
Merge Rate
100.0%
Avg Time to Merge
18h
Avg Additions
+1.2K
Avg Deletions
-169
Avg Files Changed
29
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 48
PRs Reviewed
2
Bot Comments
12
Primary Language
Lean
Merge Rate
100.0%
Avg Time to Merge
18h
Avg Additions
+1.2K
Avg Deletions
-169
Avg Files Changed
29
AI code review products active on this repository.
