Skip to content

advent: Add user-agent header to leaderboard requests #211

advent: Add user-agent header to leaderboard requests

advent: Add user-agent header to leaderboard requests #211

Annotations

1 warning

Run typechecking

succeeded Dec 4, 2024 in 26s