Skip to content
Lint

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

Sign in to view logs

fix(document): use languageId to new LinesTextDocument

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

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

lint.yml

on: pull_request
Lint
41s
Lint
Fit to window
Zoom out
Zoom in