Vilin97/lean-pool

Stars

⭐ 97

PRs Reviewed

57

Bot Comments

97

Primary Language

Lean

Merge Rate

35.1%

Avg Time to Merge

4h

Avg Additions

+19.5K

Avg Deletions

-15

Avg Files Changed

39