Build Docs

build: fix leaderboard script checking out wrong repo on forks #81

Triggered via push July 6, 2024 20:20

zhudotexe

main

Status Success

Total duration 2m 33s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	12.1 MB