mirage/mirage: PR #1628: Dhcp ipv4 and leases

@9f663b4

Stages:

• ❌ x86_64-debian-13-4.14 (1m05s)
• ❌ arm64-debian-13-4.14 (1m03s)
• ❌ x86_64-debian-13-5.3 (4m17s)
• ❌ arm64-debian-13-5.3 (4m52s)
• ❌ x86_64-debian-13-5.4 (5m11s)
• ❌ arm64-debian-13-5.4 (4m43s)

History:

• 08/12/2025 19:19 ❌ @a84de6f (30m32s)
• 08/12/2025 14:42 ❌ @7ce6d5a (19m57s)
• 08/12/2025 11:17 ❌ @9d9c162 (9m31s)
• 08/12/2025 10:37 ❌ @488b2c2 (8m14s)
• 08/12/2025 10:32 ❌ @0f65bf9 (running for 2d02h)
• 05/12/2025 14:55 🟠 @4a1cc99 (running for 2d02h)
• 05/12/2025 13:29 ❌ @4eead47 (5m50s)
• 05/12/2025 12:58 ❌ @9f663b4 (5m11s)
• 05/12/2025 11:46 ❌ @0a52633 (6m25s)
• 03/12/2025 10:23 ❌ @e17247e (9m06s)