-
-
Notifications
You must be signed in to change notification settings - Fork 8.2k
qemu: Rename qemu-arm port to qemu. #15784
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.
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
Conversation
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## master #15784 +/- ##
=======================================
Coverage 98.43% 98.43%
=======================================
Files 163 163
Lines 21294 21294
=======================================
Hits 20960 20960
Misses 334 334 ☔ View full report in Codecov by Sentry. |
Code size report:
|
@agatti does this rename look good to you? |
At a first glance it looks OK, although for #15714 I will have to rename |
That sounds fine, you can do that as part of #15714. |
I'll wait for this to land then. Thank you. |
Signed-off-by: Damien George <damien@micropython.org>
Because this port now supports multiple architectures. Signed-off-by: Damien George <damien@micropython.org>
d2bfc73
to
6591138
Compare
@agatti this is now merged. |
Thanks, I've updated #15714 accordingly. |
Because this port now supports multiple architectures.
Follow-up to #15743.