Skip to content

fix(language-server): refresh diagnostics when settings changed #547

fix(language-server): refresh diagnostics when settings changed

fix(language-server): refresh diagnostics when settings changed #547

Triggered via push July 27, 2025 13:10
Status Success
Total duration 20s
Artifacts –

auto-fix.yml

on: push
Fit to window
Zoom out
Zoom in