Skip to content

Add a Dev Container#1052

Draft
oleg-nenashev wants to merge 1 commit intoCodeIntelligenceTesting:mainfrom
oleg-nenashev:devcontainer
Draft

Add a Dev Container#1052
oleg-nenashev wants to merge 1 commit intoCodeIntelligenceTesting:mainfrom
oleg-nenashev:devcontainer

Conversation

@oleg-nenashev
Copy link

Creating this pull request rather for a discussion. The attached basic image works, but it has limited value as Bazel will reinstall the C++ stack and Java anyway, and the first build is very slow,

Would there be, in principle, an interest in a Dev Container for this repo? If so, I will get it finished

Before merge

  • Basic image
  • Ensure tools are pre-installed and cached in the Dev Container image
  • Enable in-repository build caching by default
  • Add Dev Container to the documentation

@simonresch
Copy link
Contributor

Sure! I'm happy to try out a Dev Container setup if you want to continue with this PR. 👍

I suspect internally we would not be actively using it but it could make external contributions easier which is always a win.

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.

2 participants