Skip to content
Lint

Use custom leaderboard size from users table (#127) #112

Sign in to view logs

Use custom leaderboard size from users table (#127)

Use custom leaderboard size from users table (#127) #112

Triggered via push September 10, 2024 15:32
@tsunyokutsunyoku
pushed 4a96152
master
Status Success
Total duration 1m 16s
Artifacts –

lint.yml

on: push
mypy
1m 7s
mypy
Fit to window
Zoom out
Zoom in