Skip to content

Add city search box to map with geocoding support#496

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

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

Conversation

@louis-e

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

Copy link
Copy Markdown
Owner
image

@github-actions

Copy link
Copy Markdown

⏱️ 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