Skip to content
Pyright

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

Sign in to view logs

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

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

Triggered via pull request March 29, 2026 18:19
@amilcarlucasamilcarlucas
synchronize #1446
separate_IDS
Status Success
Total duration 8m 14s
Artifacts –

pyright.yml

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