Replies: 1 comment 4 replies
-
We can definitely try! Does the devcontainer CLI build a docker image? I agree it would be good to have python & node built on the server rather than the client. While the GHA cache indeed isn't helpful with our current setup, the docker repository should be reasonably helpful for caching. It should be caching the early layers there, so we avoid rebuilding them if they haven't changed. But:
...so maybe we shouldn't put much value on the cache, and using the devcontainer CLI has fewer downsides. |
Beta Was this translation helpful? Give feedback.
4 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
docker/build-push-action
is currently used to build the image. I remember this was to use gha cache.prql/.github/workflows/build-devcontainer.yaml
Lines 62 to 64 in d5d5362
However, I suspect that the GHA cache is not really important here, since in practice this repository always exceeds the 10 GB limit of the GHA cache and the old cache will soon be unusable.
So I am wondering if we can switch to building with the Dev Container CLI, which can build images from devcontainer.json instead of not being able to use the GHA cache.
This would allow us to install note.js and Python, which are currently installed on the user side.
Beta Was this translation helpful? Give feedback.
All reactions