Skip to content
Mypy

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

Sign in to view logs

More complex challenge filtering and game-dependent option management

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

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

mypy.yml

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