The tvm developers should update your tutorial docs

Development
2

Thanks for sharing this information. @tqchen How do we avoid this condition in the future? Doc tutorial doesn’t exist in CI but it is very important, but developers forget to update it very easily.