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