leaderboard: refresh aggregate#28

github-actions[bot] wants to merge 1 commit into

mainCodingThrust/problem-reductions-benchmark:mainfrom

bot/leaderboard-28767686446CodingThrust/problem-reductions-benchmark:bot/leaderboard-28767686446Copy head branch name to clipboard