You are viewing a plain text version of this content. The canonical link for it is here.

Posted to commits@tvm.apache.org by GitBox <gi...@apache.org> on 2022/08/02 23:08:51 UTC

[GitHub] [tvm] driazati commented on a diff in pull request #11893: [ci][docker] Run build/test with Docker changes

driazati commented on code in PR #11893:
URL: https://github.com/apache/tvm/pull/11893#discussion_r936095784


##########
ci/jenkins/Jenkinsfile.j2:
##########
@@ -116,8 +116,16 @@ if (rebuild_docker_images) {
 
 lint()
 
-build()
+build('Build')
 
-test()
+test('Test')
+
+if (rebuild_docker_images) {

Review Comment:
   Right it runs it twice (once with the old images, once with the new), we can keep the time down if we stay on top of sharding



-- 
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: commits-unsubscribe@tvm.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org