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: [email protected]
For queries about this service, please contact Infrastructure at:
[email protected]
