Skip to content
Mypy

More complex challenge filtering and game-dependent option management #736

Sign in to view logs

More complex challenge filtering and game-dependent option management

More complex challenge filtering and game-dependent option management #736

Triggered via pull request March 13, 2024 06:55
@MarkZHMarkZH
synchronize #924
MarkZH:MarkZH/issue922
Status Success
Total duration 59s
Artifacts –

mypy.yml

on: pull_request
Matrix: mypy
Fit to window
Zoom out
Zoom in