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

@2326854

11/10/2024 14:00

Link to Github

Stages:

🟡 x86_64-debian-10-4.13
❌ arm64-debian-10-4.13 (5m43s)

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)