Skip to content

Inserts "_unbuilt" stages into the Docker file#10

Open
amarburg wants to merge 2 commits into
mainfrom
dev/unbuilt_stages
Open

Inserts "_unbuilt" stages into the Docker file#10
amarburg wants to merge 2 commits into
mainfrom
dev/unbuilt_stages

Conversation

@amarburg

Copy link
Copy Markdown

Changes Made

Inserts "_inbuilt" stages into the Docker build process. These can be useful for dev containers where the full blue_ws workspace will be overlaid with a bind mount; reduces the build time.

Testing

Please provide a clear and concise description of the testing performed.

@amarburg amarburg self-assigned this Dec 12, 2024
@amarburg amarburg changed the title Inserts "_unbuilt" stages into the Dockerbuild Inserts "_unbuilt" stages into the Docker file Dec 12, 2024
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