mirage/mirage-skeleton: PR #419: autoformat

@9982ecc

Stages:

• 🟠 x86_64-debian-13-4.14
• ❌ arm64-debian-13-4.14 (2m48s)
• 🟠 x86_64-debian-13-5.3
• ❌ arm64-debian-13-5.3 (5m45s)
• 🟠 x86_64-debian-13-5.4
• ❌ arm64-debian-13-5.4 (4m57s)

History:

• 07/01/2026 21:52 ✔️ @86b3235 (5m43s)
• 07/01/2026 21:49 🟠 @17866f8 (1m47s)
• 07/01/2026 21:39 🟠 @4d9dd55 (10m17s)
• 07/01/2026 21:32 ❌ @9982ecc (5m45s)