Skip to content
Dev

fix(document): use languageId to new LinesTextDocument #4317

Sign in to view logs

fix(document): use languageId to new LinesTextDocument

fix(document): use languageId to new LinesTextDocument #4317

Triggered via pull request September 19, 2024 09:46
@fannheywardfannheyward
opened #5142
fix/document-languageId
Status Success
Total duration 3m 22s
Artifacts –

ci.yml

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