Skip to content
Lint

Use custom leaderboard size from users table #110

Sign in to view logs

Use custom leaderboard size from users table

Use custom leaderboard size from users table #110

Triggered via pull request September 8, 2024 19:07
@tsunyokutsunyoku
synchronize #127
premium-custom-leaderboard-size
Status Success
Total duration 46s
Artifacts –

lint.yml

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