fix: use create-pull-request action for leaderboard updates - #642

Merged

Harxhit merged 1 commit into

Dev-Card:mainfrom

ramnnn2006:fix/641-leaderboard-workflow-protected-branch

Jun 24, 2026

Commits on Jun 23, 2026

fix: use create-pull-request action for leaderboard updates
ramnnn2006
committed