[DO NOT MERGE] Revert "[AUTOTVM] Use opt level 3 when extracting tasks"#10171
Closed
anwang2009 wants to merge 1 commit into
Closed
[DO NOT MERGE] Revert "[AUTOTVM] Use opt level 3 when extracting tasks"#10171anwang2009 wants to merge 1 commit into
anwang2009 wants to merge 1 commit into