Skip to content

Fixed username issue in LB #69

Fixed username issue in LB

Fixed username issue in LB #69

update-file

succeeded Apr 21, 2024 in 10s
Set up job
1s
Checkout repository
1s
Get current commit details
0s
Get merge commit hash
0s
Set original author
0s
Check if there are any changes in submissions dir
0s
Print changed files
0s
Run actions/github-script@v7
0s
Install Python
0s
Install dependencies
0s
Install dependencies
0s
Run leaderboard update script
0s
Commit changes
0s
Post Checkout repository
0s
Complete job
0s