mirage/mirage: PR #1619: Include output file extension in generated Makefile

@7212a6c

16/10/2025 17:04

Link to Github

Stages:

✔️ x86_64-debian-13-4.14 (4m26s)
✔️ arm64-debian-13-4.14 (4m10s)
✔️ x86_64-debian-13-5.3 (5m51s)
✔️ arm64-debian-13-5.3 (6m30s)
❌ x86_64-debian-13-5.4 (3m06s)
❌ arm64-debian-13-5.4 (2m59s)

History:

16/10/2025 17:04 ❌ @7212a6c (6m30s)
16/10/2025 15:37 ❌ @b3b5832 (4m49s)