Skip to content

Fix bugs in the language server version picker #1471

Fix bugs in the language server version picker

Fix bugs in the language server version picker #1471

Triggered via pull request May 16, 2024 18:40
Status Success
Total duration 2m 22s
Artifacts

build.yml

on: pull_request
Matrix: ci
release
0s
release
Fit to window
Zoom out
Zoom in