Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[microTVM] Fix RPC session close on runtime side #13310

Merged
merged 3 commits into from
Nov 8, 2022
Merged

[microTVM] Fix RPC session close on runtime side #13310

merged 3 commits into from
Nov 8, 2022

Commits on Nov 7, 2022

  1. fix shutdown function

    @mehrdadh
    mehrdadh committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    6dc6124 View commit details
    Browse the repository at this point in the history

  2. fix RPC issue

    @mehrdadh
    mehrdadh committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    1581c34 View commit details
    Browse the repository at this point in the history

  3. lint

    @mehrdadh
    mehrdadh committed Nov 7, 2022
    Configuration menu
    Copy the full SHA
    3361be6 View commit details
    Browse the repository at this point in the history