Closed idavis closed 1 year ago
Does anyone use the dev container?
I did a lot when I was on Windows. Right now it won't run on codespaces since it is too big (even though it was the same image)
If neither of us use it, and it doesn't work, should we just remove it unless/until someone volunteers to update it?
When available, update the devcontainer so that that we can install llvm 13 easily as part of the container definition.