Skip to content

Deploy Leaderboard to GitHub Pages #10

Deploy Leaderboard to GitHub Pages

Deploy Leaderboard to GitHub Pages #10

Manually triggered November 19, 2025 17:18
Status Success
Total duration 1m 25s
Artifacts 1

deploy-leaderboard.yml

on: workflow_dispatch
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
37.5 MB
sha256:7d588ca872b2c69f5dbb7f04f53ca520cb358c56b1bac1955a34cb29e6d09a50