โ† Back to repositories

Stars

โญ 0

PRs Reviewed

1.1K

Bot Comments

2.2K

Primary Language

Lean

Merge Rate

38.7%

Avg Time to Merge

2h

Avg Additions

+182

Avg Deletions

-69

Avg Files Changed

2

AI Review Products#

AI code review products active on this repository.