mirage/mirage: PR #1614: upgrade to cmdliner 2.0

@5f1dca7

03/10/2025 12:19

Link to Github

Stages:

✔️ x86_64-debian-13-4.14 (3m42s)
✔️ arm64-debian-13-4.14 (3m42s)
✔️ x86_64-debian-13-5.3 (4m03s)
✔️ arm64-debian-13-5.3 (3m46s)

History:

03/10/2025 12:19 ✔️ @5f1dca7 (4m03s)
03/10/2025 11:52 ✔️ @8336c34 (12m21s)
03/10/2025 11:44 ✔️ @a0a234a (4m18s)
03/10/2025 11:42 🟠 @35ccc42
03/10/2025 11:41 🟠 @a1ecdde
03/10/2025 11:04 ✔️ @023b170 (4m28s)
03/10/2025 11:03 🟠 @78a2d2c