Skip to content

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

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

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

Triggered via pull request March 29, 2026 19:20
Status Success
Total duration 41s
Artifacts

pyright.yml

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