mirage/mirage-skeleton: PR #419: autoformat

@86b3235

Stages:

• ✔️ x86_64-debian-13-4.14 (3m14s)
• ✔️ arm64-debian-13-4.14 (2m37s)
• ✔️ x86_64-debian-13-5.3 (4m17s)
• ✔️ arm64-debian-13-5.3 (3m38s)
• ✔️ x86_64-debian-13-5.4 (4m02s)
• ✔️ arm64-debian-13-5.4 (5m43s)

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)