Skip to content

Add city search box to map with geocoding support#496

Merged
louis-e merged 3 commits intomainfrom
maps-search-box
Aug 3, 2025
Merged

Add city search box to map with geocoding support#496
louis-e merged 3 commits intomainfrom
maps-search-box

Conversation

@louis-e
Copy link
Owner

@louis-e louis-e commented Jul 23, 2025

image

@github-actions
Copy link

⏱️ Benchmark run finished in 0m 49s
🧠 Peak memory usage: 1861 MB

📈 Compared against baseline: 42s
🧮 Delta: 7s
🔢 Commit: 2945c84

⚠️ This PR worsens generation time.

You can retrigger the benchmark by commenting retrigger-benchmark.

@louis-e louis-e merged commit fb70f00 into main Aug 3, 2025
@louis-e louis-e deleted the maps-search-box branch August 3, 2025 12:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant