mirage/mirage: PR #1418: upgrade tests to cmdliner 1.2.0

@a1443a7

13/04/2023 10:49

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (25m17s)
✔️ arm64-debian-10-4.13 (5m03s)

History:

13/04/2023 10:49 ✔️ @a1443a7 (25m17s)
13/04/2023 10:40 ❌ @1b485ed (8m53s)