Skip to content

Split non-default params into IDs + non-IDs categories #3493

Split non-default params into IDs + non-IDs categories

Split non-default params into IDs + non-IDs categories #3493

Triggered via pull request March 29, 2026 18:18
Status Cancelled
Total duration 1m 39s
Artifacts

pyright.yml

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

Annotations

3 errors
pyright (3.14)
Canceling since a higher priority waiting request for ci-Pyright-refs/pull/1446/merge exists
pyright (3.9)
Canceling since a higher priority waiting request for ci-Pyright-refs/pull/1446/merge exists
Pyright
Canceling since a higher priority waiting request for ci-Pyright-refs/pull/1446/merge exists