Skip to content
mypy

cli: gather raw option #2190

Sign in to view logs

cli: gather raw option

cli: gather raw option #2190

Triggered via pull request November 15, 2023 10:08
@richardjgowersrichardjgowers
synchronize #620
issue_557_gather_per_leg
Status Success
Total duration 1m 3s
Artifacts –

mypy.yaml

on: pull_request
mypy
55s
mypy
Fit to window
Zoom out
Zoom in