Stars
⭐ 8
PRs Reviewed
3
Bot Comments
0
Primary Language
Lean
Merge Rate
100.0%
Avg Time to Merge
54m
Avg Additions
+1.6K
Avg Deletions
-109
Avg Files Changed
34
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 8
PRs Reviewed
3
Bot Comments
0
Primary Language
Lean
Merge Rate
100.0%
Avg Time to Merge
54m
Avg Additions
+1.6K
Avg Deletions
-109
Avg Files Changed
34
AI code review products active on this repository.
