โ† Back to repositories

Stars

โญ 2

PRs Reviewed

1

Bot Comments

3

Primary Language

Lean

Merge Rate

100.0%

Avg Time to Merge

36m

Avg Additions

+2.5K

Avg Deletions

-398

Avg Files Changed

13

AI Review Products#

AI code review products active on this repository.