mirage/mirage: PR #1380: Enforce the usage of solo5.0.7.5 when we make unikernels

@a7aeac8

08/12/2022 10:29

Link to Github

Stages:

✔️ x86_64-debian-10-4.13 (15m45s)
✔️ arm64-debian-10-4.13 (4m55s)

History:

08/12/2022 10:29 ✔️ @a7aeac8 (15m45s)
08/12/2022 09:53 ✔️ @beadfa8 (11m43s)