Stars
⭐ 0
PRs Reviewed
3
Bot Comments
10
Primary Language
Lean
Merge Rate
100.0%
Avg Time to Merge
2h
Avg Additions
+4.3K
Avg Deletions
-594
Avg Files Changed
28
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 0
PRs Reviewed
3
Bot Comments
10
Primary Language
Lean
Merge Rate
100.0%
Avg Time to Merge
2h
Avg Additions
+4.3K
Avg Deletions
-594
Avg Files Changed
28
AI code review products active on this repository.
