Skip to content

chore: editor.clearAllMarks api will now take optional linenumbers to clear only those lines #959

chore: editor.clearAllMarks api will now take optional linenumbers to clear only those lines

chore: editor.clearAllMarks api will now take optional linenumbers to clear only those lines #959

Triggered via pull request December 10, 2024 15:29
@aboseabose
opened #1982
g
Status Cancelled
Total duration 11m 22s
Artifacts

desktop-linux-test-pull.yml

on: pull_request
test-desktop-linux
11m 10s
test-desktop-linux
Fit to window
Zoom out
Zoom in

Annotations

2 errors
test-desktop-linux
Canceling since a higher priority waiting request for 'pr-desktop-linux-1982' exists
test-desktop-linux
The operation was canceled.