mirage/mirage: PR #1501: Rename Runtime_key to Runtime_arg

@8279d18

05/03/2024 14:04

Link to Github

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
🟠 arm64-debian-10-4.13 (3m00s)

History:

05/03/2024 14:35 ✔️ @d00ca12 (6h27m)
05/03/2024 14:04 🟠 @8279d18 (3m00s)
05/03/2024 14:02 ❌ @5d2c9ab (1m20s)
05/03/2024 13:42 ❌ @f06e579 (1m04s)