[go: up one dir, main page]

Skip to content

Add option to select which geocoder is used #1389

Add option to select which geocoder is used

Add option to select which geocoder is used #1389

Triggered via pull request November 14, 2024 15:15
Status Failure
Total duration 4m 15s
Artifacts

dev.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error
lint
Process completed with exit code 1.