Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
feat: Update devcontainer.json + add Dockerfile (#2998)
This PR removes the external dependency for `devcontainer.json` by using a dockerfile to install elan. Another feature is that `lake exe cache get!` is now done using `onCreateCommand` instead of `postCreateCommand`, so the oleans should be available as soon as the container is created, whereas before the user had to wait a little while, which was potentially confusing.
- Loading branch information