Closed leandron closed 3 years ago
Also cc @areusch @tqchen @Mousius for reviews
ping @areusch for review when you have a minute
I have no permission to merge in this repo. Do you mind merging this @tqchen or @icemelon ?
Thanks for landing this @leandron !! amazing work, really appreciate you doing this, going to be transformative for the community.
This is a draft Jenkins pipeline for us to daily build TVM CI docker images.