I have a repository with some WIP development containers. It’s what I use when I’m doing development work, and it includes a fairly basic framework for building a dev container, running a single instance of it in your local docker environment, and setting up some development tooling so you can work from inside of of the container on a fresh checkout of the repo. It also lets you run a sphinx server so you can check docs changes. This might be a good seed for a tvm-tools type of repository that could give a pathway for working on TVM that is independent of the CI docker containers.
1 Like