Skip to content
Lint

Use custom leaderboard size from users table #111

Sign in to view logs

Use custom leaderboard size from users table

Use custom leaderboard size from users table #111

Run time

Learn about OS pricing on GitHub Actions
Job Run time
mypy
51s
51s