Skip to content
mypy

Kartograf integration #2202

Sign in to view logs

Kartograf integration

Kartograf integration #2202

Triggered via pull request November 17, 2023 11:31
@richardjgowersrichardjgowers
synchronize #249
WallyMapperIntegration
Status Cancelled
Total duration 33s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

mypy.yaml

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

Annotations

2 errors
mypy
Canceling since a higher priority waiting request for 'mypy-refs/pull/249/merge' exists
mypy
The operation was canceled.