mirage/mirage: PR #1455: Keep a single way to define runtime keys (using Cmdliner)

@607b96c

02/10/2023 12:54

Link to Github

Friend PRs

This PR is tested along with the following PRs:

mirage/mirage-skeleton: PR #374: Move runtime keys to runtime modules

To use that feature, simply mention target PR in the original PR's description.

Stages:

✔️ x86_64-debian-10-4.13 (8m12s)
✔️ arm64-debian-10-4.13 (6m50s)

History:

27/10/2023 11:42 🟠 @6a24029
02/10/2023 12:54 ✔️ @607b96c (8m12s)