[Metaschedule] get_top_k should not return not built records#13824

masahi merged 2 commits intoapache:mainapache/tvm:mainfrom

Deelvin:avoronov/anchorDeelvin/tvm:avoronov/anchorCopy head branch name to clipboard