Skip to content

fix: change type of UserLevel.progress to int #418

fix: change type of UserLevel.progress to int

fix: change type of UserLevel.progress to int #418

Triggered via pull request August 27, 2023 16:41
Status Success
Total duration 59s
Artifacts

mypy.yml

on: pull_request
Fit to window
Zoom out
Zoom in