Skip to content

Rename tile source selector #8216

Rename tile source selector

Rename tile source selector #8216

Triggered via push December 15, 2025 21:15
Status Success
Total duration 7m 28s
Artifacts

android.yml

on: push
Fit to window
Zoom out
Zoom in