Stars
⭐ 2
PRs Reviewed
7
Bot Comments
10
Primary Language
Idris
Merge Rate
71.4%
Avg Time to Merge
6m
Avg Additions
+35
Avg Deletions
-11
Avg Files Changed
2
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 2
PRs Reviewed
7
Bot Comments
10
Primary Language
Idris
Merge Rate
71.4%
Avg Time to Merge
6m
Avg Additions
+35
Avg Deletions
-11
Avg Files Changed
2
AI code review products active on this repository.
