Skip to content

Add a geo_location selector to map editor (#22538) #31614

Add a geo_location selector to map editor (#22538)

Add a geo_location selector to map editor (#22538) #31614

Triggered via push October 29, 2024 07:37
Status Cancelled
Total duration 1m 8s
Artifacts

ci.yaml

on: push
Lint and check format
57s
Lint and check format
Run tests
57s
Run tests
Build frontend
0s
Build frontend
Build supervisor
0s
Build supervisor
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Run tests
Canceling since a higher priority waiting request for 'CI-refs/heads/dev' exists
Run tests
The operation was canceled.
Lint and check format
Canceling since a higher priority waiting request for 'CI-refs/heads/dev' exists
Lint and check format
The operation was canceled.