You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
A general thought: Why do we not build the workspace in the build? I mean in the dockerfile.
I do understand that during development that maybe didn't make a lot of sense because it was all WIP. But for the participants, I think it makes sense for the container to have the workspace build when you start it. @sea-bass@dcconner What do you think?
The text was updated successfully, but these errors were encountered:
We can switch to this once we have a more stable setup. However, it may be tricky because participants will want to rebuild the workspace, and it may become difficult to reuse the build that happened at image build time, to speed up local rebuilds.
A general thought: Why do we not build the workspace in the build? I mean in the dockerfile.
I do understand that during development that maybe didn't make a lot of sense because it was all WIP. But for the participants, I think it makes sense for the container to have the workspace build when you start it.
@sea-bass @dcconner What do you think?
The text was updated successfully, but these errors were encountered: