Stars
⭐ 0
PRs Reviewed
1
Bot Comments
4
Primary Language
Lean
Merge Rate
100.0%
Avg Time to Merge
4d
Avg Additions
+172
Avg Deletions
-4
Avg Files Changed
1
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 0
PRs Reviewed
1
Bot Comments
4
Primary Language
Lean
Merge Rate
100.0%
Avg Time to Merge
4d
Avg Additions
+172
Avg Deletions
-4
Avg Files Changed
1
AI code review products active on this repository.
