Skip to content

Bump jedi-language-server and jedi #8987

Bump jedi-language-server and jedi

Bump jedi-language-server and jedi #8987

Re-run triggered September 25, 2023 16:48
Status Success
Total duration 3m 2s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

codeql-analysis.yml

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