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

@b3b5832

16/10/2025 15:37

Link to Github

Stages:

✔️ x86_64-debian-13-4.14 (3m33s)
✔️ arm64-debian-13-4.14 (3m37s)
✔️ x86_64-debian-13-5.3 (4m00s)
✔️ arm64-debian-13-5.3 (4m49s)
❌ x86_64-debian-13-5.4 (2m26s)
❌ arm64-debian-13-5.4 (3m09s)

History:

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