Stars
⭐ 2
PRs Reviewed
5
Bot Comments
0
Primary Language
Idris
Merge Rate
20.0%
Avg Time to Merge
35h
Avg Additions
+2
Avg Deletions
-2
Avg Files Changed
2
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 2
PRs Reviewed
5
Bot Comments
0
Primary Language
Idris
Merge Rate
20.0%
Avg Time to Merge
35h
Avg Additions
+2
Avg Deletions
-2
Avg Files Changed
2
AI code review products active on this repository.
