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