mirage/mirage-skeleton: PR #405: move runtime arguments out of config.ml

@b926c4d

11/10/2024 15:30

Link to Github

Stages:

🟠 x86_64-debian-10-4.13
✔️ arm64-debian-10-4.13 (4m16s)

History:

11/10/2024 15:42 ✔️ @d2b5c67 (15m10s)
11/10/2024 15:30 🟠 @b926c4d (4m16s)
11/10/2024 15:28 🟠 @c1139a9
11/10/2024 15:24 ❌ @39ece1d (3m05s)
11/10/2024 14:07 ❌ @c54df56 (8m27s)
11/10/2024 14:00 ❌ @2326854 (5m43s)
11/10/2024 13:29 ❌ @f12cb54 (10s)