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

Triggered via pull request September 8, 2024 19:07
@pre-commit-cipre-commit-ci[bot]
synchronize #127
premium-custom-leaderboard-size
Status Success
Total duration 1m 0s
Artifacts –

lint.yml

on: pull_request
mypy
51s
mypy
Fit to window
Zoom out
Zoom in