Skip to content

[tooling] Improve reliability of make start-locally#1565

Merged
BenjaminPelletier merged 2 commits into
interuss:mainfrom
BenjaminPelletier:startlocally
Jul 13, 2026
Merged

[tooling] Improve reliability of make start-locally#1565
BenjaminPelletier merged 2 commits into
interuss:mainfrom
BenjaminPelletier:startlocally

Remove extra `docker stop`

2b8b8d5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Clone on Windows
succeeded Jul 13, 2026 in 18s