Skip to content

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

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

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

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

pyright.yml

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