driazati opened a new pull request, #13167: URL: https://github.com/apache/tvm/pull/13167
These files have no effect on Docker image builds so if they are changed we shouldn't be triggering a Docker image build. Right now if anything in `docker/` is touched a build is run, this adds a short exclusion list of some files (each of which is used for local testing or is exercised already in CI). -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
