Skip to content

completions to use new Jedi get_names method #12472

completions to use new Jedi get_names method

completions to use new Jedi get_names method #12472

Triggered via issue December 22, 2025 09:52
Status Skipped
Total duration 1s
Artifacts

triage-info-needed.yml

on: issue_comment
add_label
0s
add_label
remove_label
0s
remove_label
Fit to window
Zoom out
Zoom in