Stars
⭐ 0
PRs Reviewed
4
Bot Comments
0
Primary Language
Agda
Merge Rate
100.0%
Avg Time to Merge
3h
Avg Additions
+55
Avg Deletions
-55
Avg Files Changed
4
AI Review Products#
AI code review products active on this repository.
Stars
⭐ 0
PRs Reviewed
4
Bot Comments
0
Primary Language
Agda
Merge Rate
100.0%
Avg Time to Merge
3h
Avg Additions
+55
Avg Deletions
-55
Avg Files Changed
4
AI code review products active on this repository.
