Stars
⭐ 2
PRs Reviewed
8
Bot Comments
4
Primary Language
Idris
Merge Rate
37.5%
Avg Time to Merge
13h
Avg Additions
+8
Avg Deletions
-3
Avg Files Changed
2
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 2
PRs Reviewed
8
Bot Comments
4
Primary Language
Idris
Merge Rate
37.5%
Avg Time to Merge
13h
Avg Additions
+8
Avg Deletions
-3
Avg Files Changed
2
AI code review products active on this repository.
