Update Pendubot Real Leaderboard #203

Triggered via push September 4, 2024 12:22

fwiebe

main

Status Success

Total duration 1m 0s

Artifacts 2

generate_leaderboard.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	72.9 KB
page Expired	115 KB