Skip to content

[Docs] refresh contributor leaderboard data - #152

Open
github-actions[bot] wants to merge 1 commit into
mainfrom
chore/contributor-leaderboard
Open

[Docs] refresh contributor leaderboard data#152
github-actions[bot] wants to merge 1 commit into
mainfrom
chore/contributor-leaderboard

Conversation

@github-actions

@github-actions github-actions Bot commented Aug 3, 2026

Copy link
Copy Markdown

Summary

Regenerates website/src/data/contributorRank.generated.ts for the community leaderboard.


Auto-generated by contributor-leaderboard

Signed-off-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants