You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@tvm.apache.org by "junrushao (via GitHub)" <gi...@apache.org> on 2023/05/06 03:01:07 UTC

[GitHub] [tvm] junrushao opened a new pull request, #14783: [MetaSchedule] Add an API to dump a pruned database

junrushao opened a new pull request, #14783:
URL: https://github.com/apache/tvm/pull/14783

   This PR introduces the `Database.dump_pruned` API, which makes possible to keep the only optimal record for the workload on disk for easy re-distribution of a MetaSchedule database.


-- 
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

[GitHub] [tvm] tvm-bot commented on pull request #14783: [MetaSchedule] Add an API to dump a pruned database

Posted by "tvm-bot (via GitHub)" <gi...@apache.org>.
tvm-bot commented on PR #14783:
URL: https://github.com/apache/tvm/pull/14783#issuecomment-1537024596

   <!---bot-comment-->
   
   Thanks for contributing to TVM! Please refer to the contributing guidelines https://tvm.apache.org/docs/contribute/ for useful information and tips. Please request code reviews from [Reviewers](https://github.com/apache/incubator-tvm/blob/master/CONTRIBUTORS.md#reviewers) by @-ing them in a comment.
   
   
   
   <sub>Generated by [tvm-bot](https://github.com/apache/tvm/blob/main/ci/README.md#github-actions)</sub>


-- 
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

[GitHub] [tvm] junrushao commented on pull request #14783: [MetaSchedule] Add an API to dump a pruned database

Posted by "junrushao (via GitHub)" <gi...@apache.org>.
junrushao commented on PR #14783:
URL: https://github.com/apache/tvm/pull/14783#issuecomment-1537221079

   CC: @tqchen @spectrometerHBH 


-- 
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

[GitHub] [tvm] spectrometerHBH merged pull request #14783: [MetaSchedule] Add an API to dump a pruned database

Posted by "spectrometerHBH (via GitHub)" <gi...@apache.org>.
spectrometerHBH merged PR #14783:
URL: https://github.com/apache/tvm/pull/14783


-- 
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