Stars
⭐ 0
PRs Reviewed
2
Bot Comments
0
Primary Language
Lean
Merge Rate
50.0%
Avg Time to Merge
21h
Avg Additions
+2.4K
Avg Deletions
-0
Avg Files Changed
15
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 0
PRs Reviewed
2
Bot Comments
0
Primary Language
Lean
Merge Rate
50.0%
Avg Time to Merge
21h
Avg Additions
+2.4K
Avg Deletions
-0
Avg Files Changed
15
AI code review products active on this repository.
