Back
mirage/mirage: PR #1501: Rename Runtime_key to Runtime_arg
@d00ca12
05/03/2024 14:35Link to Github
To use that feature, simply mention target PR in the original PR's description.
Friend PRs
This PR is tested along with the following PRs:- mirage/mirage-skeleton: PR #384: Rename Mirage_key to Mirage_arg
To use that feature, simply mention target PR in the original PR's description.
Stages:
- ✔️ x86_64-debian-10-4.13 (7m50s)
- ✔️ arm64-debian-10-4.13 (5m29s)