Skip to content

[tooling] Fix image build time - #1670

Open
BenjaminPelletier wants to merge 3 commits into
interuss:mainfrom
BenjaminPelletier:fix-image-build-time
Open

[tooling] Fix image build time#1670
BenjaminPelletier wants to merge 3 commits into
interuss:mainfrom
BenjaminPelletier:fix-image-build-time

Conversation

@BenjaminPelletier

Copy link
Copy Markdown
Member

Our current Dockerfile installs dev dependencies after adding the repo content to the image which means any change in any file in the repo triggers a uv sync in the dev image even if no dev dependencies have changed. This is extremely oppressive since the uv sync operation can take almost 3 minutes and make format typically builds the image-dev image twice (the second time after making formatting adjustments).

This PR restructures Dockerfile to only build one target, but to use an argument to specify which dependencies image the final image is based on (normal or dev dependencies). Both earlier stages are built prior to adding repo content so they don't need to be rebuilt when no dependencies are changed.

@BenjaminPelletier
BenjaminPelletier marked this pull request as ready for review August 26, 2026 20:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: No status

Development

Successfully merging this pull request may close these issues.

1 participant