Stars
⭐ 0
PRs Reviewed
3
Bot Comments
3
Primary Language
Lean
Merge Rate
66.7%
Avg Time to Merge
6m
Avg Additions
+14
Avg Deletions
-188
Avg Files Changed
5
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 0
PRs Reviewed
3
Bot Comments
3
Primary Language
Lean
Merge Rate
66.7%
Avg Time to Merge
6m
Avg Additions
+14
Avg Deletions
-188
Avg Files Changed
5
AI code review products active on this repository.
