Stars
⭐ 1
PRs Reviewed
106
Bot Comments
0
Primary Language
Lean
Merge Rate
100.0%
Avg Time to Merge
31h
Avg Additions
+4.1K
Avg Deletions
-2.3K
Avg Files Changed
143
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 1
PRs Reviewed
106
Bot Comments
0
Primary Language
Lean
Merge Rate
100.0%
Avg Time to Merge
31h
Avg Additions
+4.1K
Avg Deletions
-2.3K
Avg Files Changed
143
AI code review products active on this repository.
