Skip to content

[Experiment] Add symbol navigation commands into the editor #15615

[Experiment] Add symbol navigation commands into the editor

[Experiment] Add symbol navigation commands into the editor #15615

Triggered via pull request November 22, 2024 18:15
Status Cancelled
Total duration 15s
Artifacts

lint.yml

on: pull_request
Lint frontend
5s
Lint frontend
Lint python
5s
Lint python
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Lint python
Canceling since a higher priority waiting request for 'Lint-refs/pull/5092/merge' exists
Lint python
The operation was canceled.
Lint frontend
Canceling since a higher priority waiting request for 'Lint-refs/pull/5092/merge' exists
Lint frontend
The operation was canceled.