Skip to content

mypy fixes after merge #1394

mypy fixes after merge

mypy fixes after merge #1394

Triggered via push June 12, 2024 19:49
Status Cancelled
Total duration 27m 26s
Artifacts

lint.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 error
Lint
Canceling since a higher priority waiting request for 'Lint-refs/heads/type_hints' exists