Stars
⭐ 0
PRs Reviewed
14
Bot Comments
20
Primary Language
Lean
Merge Rate
0.0%
Avg Time to Merge
—
Avg Additions
+1.1K
Avg Deletions
-3
Avg Files Changed
1
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 0
PRs Reviewed
14
Bot Comments
20
Primary Language
Lean
Merge Rate
0.0%
Avg Time to Merge
—
Avg Additions
+1.1K
Avg Deletions
-3
Avg Files Changed
1
AI code review products active on this repository.
