Skip to content
Lint

hide custom leaderboard size behind a feature flag (#128) #117

Sign in to view logs

hide custom leaderboard size behind a feature flag (#128)

hide custom leaderboard size behind a feature flag (#128) #117

Triggered via push September 11, 2024 23:04
@tsunyokutsunyoku
pushed 28e0336
master
Status Success
Total duration 46s
Artifacts –

lint.yml

on: push
mypy
38s
mypy
Fit to window
Zoom out
Zoom in