Skip to content
Lint

[Editor] Change the cursors for highlighting (bug 1876588) #473

Sign in to view logs

[Editor] Change the cursors for highlighting (bug 1876588)

[Editor] Change the cursors for highlighting (bug 1876588) #473

Triggered via pull request January 26, 2024 17:02
@calixtemancalixteman
synchronize #17581
calixteman:editor_highlight_cursor
Status Success
Total duration 1m 49s
Artifacts –

lint.yml

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