mirage/mirage: PR #1412: Prepare upcoming git-mirage.v3.14.0 release and update devices

@7557fba

28/03/2023 08:25

Link to Github

Friend PRs

This PR is tested along with the following PRs:

mirage/mirage-skeleton: PR #353: adapt to git 3.13 changes

To use that feature, simply mention target PR in the original PR's description.

Stages:

🟡 x86_64-debian-10-4.13
✔️ arm64-debian-10-4.13 (4m56s)

History:

28/03/2023 08:25 🟡 @7557fba (4m56s)
28/03/2023 08:13 ❌ @499c106 (5m11s)
23/03/2023 15:16 ❌ @4cda39a (23m24s)
23/03/2023 09:29 ❌ @bf01457 (1h58m)