Yeah, many of the dockerfiles provided seem a little unreliable, a consistent and containerized install of TVM seems pretty challenging, hopefully support will be provided down the line.
yeah sorry we are aware of this. right now, only containers used in Jenkinsfile are considered reliable (e.g. most of the ci- containers). I think @hogepodge is working on providing better user-facing containers sometime in the future.
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.