โ† Back to repositories

Stars

โญ 15

PRs Reviewed

6

Bot Comments

18

Primary Language

Lean

Merge Rate

100.0%

Avg Time to Merge

10d

Avg Additions

+1.6K

Avg Deletions

-557

Avg Files Changed

15

AI Review Products#

AI code review products active on this repository.