Skip to content
Lint

fix(document): use languageId to new LinesTextDocument (#5142) #2282

Sign in to view logs

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

fix(document): use languageId to new LinesTextDocument (#5142) #2282

Triggered via push September 19, 2024 09:57
@fannheywardfannheyward
pushed 07d6dc2
master
Status Success
Total duration 55s
Artifacts –

lint.yml

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